References to A140861

Decimal Goedelization of Heyting's 11 axioms for intuitionistic propositional logic.
1791410, 91420792410, 91720799141109241100, 991720492711007917, 2791720

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 .