a(n) is the number of n-place formulas in first-order logic when variables are allowed to coincide.
A300696
a(n) is the number of n-place formulas in first-order logic when variables are allowed to coincide.
Terms
- a(0) =1a(1) =2a(2) =8a(3) =46a(4) =350a(5) =3324a(6) =37874a(7) =503458a(8) =7648564a(9) =130722474a(10) =2482437926a(11) =51856030736
External references
- oeis: A300696