| See also: |
| 1980 | Paperback | Provability, Computability and Reflection, Volume 102 (Studies in Logic and the Foundations of Mathematics) |
| 1979 | Hardcover | Provability, Computability and Reflection, Volume 98 (Studies in Logic and the Foundations of Mathematics) |
| 1978 | Hardcover | The Algebra of Proofs, Vol. 88 (Studies in Logic and the Foundations of Mathematics) |
| 1977 | Hardcover | Provability, Computability and Reflection, Volume 87 (Studies in Logic and the Foundations of Mathematics) |
| 1976 | Hardcover | Provability, Computability and Reflection, Volume 84 (Studies in Logic and the Foundations of Mathematics) |
| 1975 | Hardcover | Provability, Computability and Reflection, Volume 83 (Studies in Logic and the Foundations of Mathematics) |
| 1975 | Hardcover | Provability, Computability and Reflection, Volume 82 (Studies in Logic and the Foundations of Mathematics) |
| 1974 | Hardcover | Elementary Induction on Abstract Structures |
| 1974 | Hardcover | Provability, Computability and Reflection, Volume 76 (Studies in Logic and the Foundations of Mathematics) |
| 1973 | Hardcover | Provability, Computability and Reflection, Volume 68 (Studies in Logic and the Foundations of Mathematics) |
| 1972 | Hardcover | Provability, Computability and Reflection, Volume 65 (Studies in Logic and the Foundations of Mathematics) |
| 1972 | Hardcover | Provability, Computability and Reflection, Volume 69 (Studies in Logic and the Foundations of Mathematics) |
| 1971 | Hardcover | Provability, Computability and Reflection, Volume 62 (Studies in Logic and the Foundations of Mathematics) |
| 1971 | Hardcover | Provability, Computability and Reflection, Volume 61 (Studies in Logic and the Foundations of Mathematics) |
| 1970 | Hardcover | Provability, Computability and Reflection, Volume 60 (Studies in Logic and the Foundations of Mathematics) |
| 1968 | Hardcover | Provability, Computability and Reflection, Volume 49 (Studies in Logic and the Foundations of Mathematics) |
| 1968 | Hardcover | Provability, Computability and Reflection, Volume 52 (Studies in Logic and the Foundations of Mathematics) |
| 1966 | Hardcover | Provability, Computability and Reflection, Volume 44 (Studies in Logic and the Foundations of Mathematics) |