Logiweb codex of prop calc in pyk

Up Help

ref-0-id-0	prop calc
ref-0-id-1	prop theory
ref-0-id-2	axiom one
ref-0-id-3	axiom two
ref-0-id-4	axiom three
ref-0-id-5	* imply *