Logiweb(TM)

Logiweb reference of propositional calculus in hex

Up Help

01
51 63 11 06 43  BE CE 78 0A 6C
DE EC E2 58 98  FE 46 C2 EB F6
8E D5 DC C8 BF  C6 9B 08 06

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-06-06.UTC:10:04:56.802958 = MJD-53527.TAI:10:05:28.802958 = LGT-4624769128802958e-6