| Shelfclass_id | 4.B.3 |
| Sortkey | COX, PHILIP T |
| Authors | Philip T. Cox |
| Title | Deduction Plans: A Graphical Proof Procedure for the First-Order Predicate Calculus |
| Publisher | University of Waterloo |
| Year | 1977 |
| Languages | eng |
| Description | vii, 200 p. |
| Record date | 20091106 |
| Location | Ontario, Canada |
| Notes | Research Report CS-77-28. |