Logiweb(TM)

Logiweb bibliography of peano axioms in hex

Up Help

Reference 0
01
94 95 41 40 92  72 8B 61 4E CB
1D D8 50 48 7F  06 C8 95 0D 18
80 DC B9 F2 C8  BF 9B 08 06


Reference 1
01
F2 B7 10 CB 8D  8C 31 3D E1 8C
8F B2 6E 89 C0  7B 4F FC FA 50
8F AA F9 FF C6  BF 9B 08 06

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-06-03.UTC:15:58:02.061312 = MJD-53524.TAI:15:58:34.061312 = LGT-4624531114061312e-6