Logiweb(TM)

Logiweb bibliography of propositional calculus in hex

Up Help

Reference 0
01
74 8C 64 22 EA  61 5B 0B E9 89
AB 46 1F D9 1B  65 53 CE 1A 36
D7 C3 B9 80 A6  BD 9B 08 06


Reference 1
01
A0 FF F3 C5 AC  DE 30 FD 3D 7F
AB 87 08 D2 30  D3 3D DD FD 91
91 84 AF C8 C9  B2 9A 08 06


Reference 2
01
37 E5 C4 3D B7  CC 92 BF 23 49
70 40 5B C5 A3  0D AD A1 5B 46
F6 EF A9 B0 BF  AA 9B 08 06

The pyk compiler, version 0.grue.20050502+ by Klaus Grue,
GRD-2005-06-02.UTC:18:16:36.700631 = MJD-53523.TAI:18:17:08.700631 = LGT-4624453028700631e-6