Bruno Scarpellini. Proof theory and intuitionistic systems. Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp [Book Review]

Journal of Symbolic Logic 39 (3):607-609 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272920

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):447-448.
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220. [REVIEW]Sy D. Friedman - 1992 - Journal of Symbolic Logic 57 (1):262-264.
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. [REVIEW]M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
Boucher C.. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp. [REVIEW]Andrzej Blikle - 1972 - Journal of Symbolic Logic 37 (4):759-760.
Scott Dana. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by Engeler E., Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
Toledo Sue. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 , pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 , pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
C. T. Chong. Techniques of admissible recursion theory. Lecture notes in mathematics, vol. 1106. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, ix + 214 pp. [REVIEW]Anne Leggett - 1987 - Journal of Symbolic Logic 52 (1):285-287.
Karp Carol. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Barwise Jon, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.
A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 9–22. - R. V. Freivald. Functions computable in the limit by probabilistic machines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 77–87. - B. Goetze and R. Klette. Some properties of limit recursive functions. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 88–90. - Ole-Johan Dahl. An approach to correctness proofs of semicoroutines. [REVIEW]Steven S. Muchnick - 1977 - Journal of Symbolic Logic 42 (3):422-423.
Saharon Shelah. Proper forcing. Lecture notes in mathematics, vol. 940. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xxix + 496 pp. [REVIEW]S. Todorcevic - 1985 - Journal of Symbolic Logic 50 (1):237-239.
Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,105,752)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references