Logiweb(TM)

Logiweb reference of propositional calculus in decimal

Up Help

001
081 099 017 006 067  190 206 120 010 108
222 236 226 088 152  254 070 194 235 246
142 213 220 200 191  198 155 008 006

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