| Shelfclass_id | 4.B.1 |
| Sortkey | ROBINSON, J. A |
| Authors | J. A Robinson |
| Title | Logic, Form and Function: The Mechanization of Deductive Reasoning |
| Publisher | North-Holland |
| Year | c1979 |
| Languages | eng |
| Isbn | 0444194673 |
| Series | Artificial intelligence series |
| Description | vi, 312 p. ill. 22 cm. |
| Record date | 20071105 |
| Location | New York |
| Keywords | Reasoning, Form (Logic), Predicate calculus, Inference |
| Notes | Includes index. |