References to A101248

Decimal Goedelization of contingent WFFs (well-formed formulae) from propositional calculus, in Richard Schroeppel's metatheory of A101273. Truth value depends on truth value of variables, but is neither always true (theorem) nor always false (antitheorem).
1, 2, 11, 12, 21, 22, 31, 32, 111, 112, 121, 122, 141, 142, 152, 161, 162, 172, 182


2 seqfan posts

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 .