| ref-0-id-0 | check |
| ref-0-id-1 | propositional calculus |
| ref-0-id-2 | propositional a one |
| ref-0-id-3 | propositional a two |
| ref-0-id-4 | propositional a three |
| ref-0-id-5 | propositional modus ponens |
| ref-0-id-6 | propositional identity |
| ref-0-id-7 | * factorial |
| ref-0-id-8 | * imply * |
The pyk compiler, version 0.grue.20060417 by Klaus Grue,