Browsing by Subject Metamathematics
Showing results 1 to 2 of 2
| Preview | Issue Date | Title | Author(s) |
|---|---|---|---|
| 1969 | The collected papers of Gerhard Gentzen | Szabo, M.E. | |
| 1962 | Natural deduction : the logical basis of axiom systems | Anderson, John Mueller; Johnstone, Henry W. |