Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.
A166746
Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.
Terms
- a(0) =0a(1) =0a(2) =4a(3) =12a(4) =72a(5) =262a(6) =1396a(7) =6126a(8) =31186a(9) =144606a(10) =713078a(11) =3384796
External references
- oeis: A166746