Decimal Goedelization of antitheorems from propositional calculus, in Richard Schroeppel's metatheory of A101273.
151, 252, 1431, 1831, 2432, 2832, 3141, 3181, 3242, 3282, 11511, 12512, 14151
3 seqfan posts
Wed Jan 20 08:14:20 CET 2010 [seqfan] Re: New pseudosquares and pseudocubes found: to which OEIS seq are these additions
Fri Oct 9 08:35:24 CEST 2009 [seqfan] Re: Thank yous, context, and future directions in Decimial Goedelization of WFFs
Fri Oct 9 03:48:43 CEST 2009 [seqfan] Thank yous, context, and future directions in Decimial Goedelization of WFFs
Index of A-numbers in seqfan: by ascending order
by month
by frequency
by keyword
Links to OEIS content are included according to
The OEIS End-User License Agreement
.