This is a corrected and revised edition of the 1968 McGraw-Hill original. A major mid-century work in mathematical logic, covering predicate calculus, algorithms, lattices, quantification, and foundational logical structures.
| Publication Year | 1976 |
| Type | Textbook |
| Subject Area | Mathematics |
| Language | English |
| Author | Haskell B. Curry |
| Publisher | Dover Publications |
| Subject | Logic |
What stands out about this textbook is the way it links new material to prior knowledge.