Logiweb(TM)

Logiweb reference of peano axioms in hex

Up Help

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

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