Theorems from propositional calculus, translated into decimal digits.
171, 181, 272, 282, 1531, 1631, 2532, 2632, 3151, 3161, 3252, 3262, 11711, 11811
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
.