Logiweb bibliography of logic in pyk
Up
Help
[0]
logic
[1]
base
[2]
peano
The pyk compiler
, version 0.grue.20050603 by
Klaus Grue
,
GRD-2005-07-04.UTC:07:21:12.778995
=
MJD-53555.TAI:07:21:44.778995
=
LGT-4627178504778995e-6
