6 results
In Memoriam: Michael Dummett 1925–2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 119-122
- Print publication:
- March 2013
-
- Article
-
- You have access
- Export citation
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1096
- Print publication:
- September 1991
-
- Article
- Export citation
Paul Strauss. Some systems of natural deduction. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 286–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1970
-
- Article
- Export citation
J. Dopp. Logiques construites par une méthode de déduction naturelle. Collection de logique mathématique, Série B, no. 3, E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1962, 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 502
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Hauptsatz for higher order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-457
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A note on existential instantiation
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
- Print publication:
- June 1967
-
- Article
- Export citation