Logiweb codex of propositional calculus
Up
Pdf
Pyk
TeX
Help
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
