Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp

Markus Marzetta

doi:10.2307/2275776

Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp [Book Review]

Journal of Symbolic Logic 60 (3):1020-1021 (1995)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2275776
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 58,398

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Review: Thomas Streicher, Semantics of Type Theory. Correctness, Completeness and Independence Results. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.

Bachmair Leo. Canonical Equational Proofs. Progress in Theoretical Computer Science. Birkhäuser, Boston, Basel, and Berlin, 1991, X + 135 Pp. [REVIEW]John Pedersen - 1992 - Journal of Symbolic Logic 57 (3):1140-1141.

Ko Ker-I. Complexity Theory of Real Functions. Progress in Theoretical Computeer Science. Birkhäuser, Boston, Basel, and Berlin, 1991, Viii + 309 Pp. [REVIEW]G. Malajovich - 1992 - Journal of Symbolic Logic 57 (4):1489-1491.

Erwin Engeler. The Combinatory Programme. In Collaboration with K. Aberer, B. Amrhein, O. Gloor, M. Von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel. Progress in Theoretical Computer Science, No. 15. Birkhäuser, Boston, Basel, and Berlin, 1995, Vii + 143 Pp. [REVIEW]James Davenport - 1996 - Journal of Symbolic Logic 61 (2):696-697.

Uwe Schöning. Logik Für Informatiker. Second Revised Edition. Reihe Informatik, Vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 Pp. - Uwe Schöning. Logic for Computer Scientists. English Translation of the Preceding. Progress in Computer Science and Applied Logic, Vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, Ix + 166 Pp. [REVIEW]Dirk Siefkes - 1991 - Journal of Symbolic Logic 56 (2):761-762.

Nahum Kipnis, History of the Principle of Interference of Light. Basel, Boston and Berlin: Birkhauser Verlag, 1991. Pp. 271. ISBN 3-7643-2316-7. SFr. 118.00. [REVIEW]Frank A. J. L. James - 1994 - British Journal for the History of Science 27 (3):375-376.

M. Holz, K. Steffens, and E. Weitz. Introduction to Cardinal Arithmetic. Birkhäuser Advanced Texts. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, Vii + 304 Pp. [REVIEW]Maxim R. Burke - 2002 - Bulletin of Symbolic Logic 8 (4):524-526.

A. N. Kolmogorov and A. P. Yushkevich , Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory. Basel, Boston, Berlin: Birkhäuser, 1992. Pp. Xii + 308. ISBN 3-7643-2552-6. SFr. 198.00. [REVIEW]Ben Marsden - 1994 - British Journal for the History of Science 27 (2):236-237.

José Ferreirós. Labyrinth of Thought. A History of Set Theory and its Role in Modern Mathematics. Science Networks, Vol. 23. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, Xxi + 440 Pp. [REVIEW]Akihiro Kanamori - 2001 - Bulletin of Symbolic Logic 7 (2):277-278.

Jürgen Schönbeck, Euklid. Vita Mathematica, 12. Basel, Boston and Berlin: Birkhäuser, 2003. Pp. X+264. Isbn 3-7643-6584-6. 82.24, Sfr 128.00. [REVIEW]Jens Høyrup - 2005 - British Journal for the History of Science 38 (2):223-225.

W OLFGANG L EFÈVRE, J ÜRGEN R ENN and U RS S CHOEPFLIN , The Power of Images in Early Modern Science. Basel, Boston and Berlin: Birkhäuser Verlag, 2003. Pp. Ix+308. ISBN 3-7643-2434-1. €118.00. [REVIEW]J. V. Field - 2005 - British Journal for the History of Science 38 (3):361-361.

Ursula Klein, Verbindung und Affinität. Die Grundlegung der neuzeitlichen Chemie an der Wende vom 17. zum 18. Jahrhundert. Basel, Boston, Berlin: Birkhäuser, 1994. Pp. ix + 270. ISBN 3-7643-5003-2. £48.00, DM 128.00, SFr 108 00. [REVIEW]W. H. Brock - 1995 - British Journal for the History of Science 28 (2):238-239.

J. Eisenstaedt and A. J. Kox , Studies in the History of General Relativity. Boston, Basel, Berlin: Birkhäuser, 1992. Pp. Xii + 468. ISBN 0-8176-3479-7. SFr. 198.00. [REVIEW]Helge Kragh - 1993 - British Journal for the History of Science 26 (1):123-124.

Jean-Paul Pier , Development of Mathematics 1950–2000. Basel, Boston and Berlin: Birkhäuser, 2000. Pp. X+1372. Isbn 3-7643-6280-4. Dm 298.00. [REVIEW]Massimo Mazzotti - 2002 - British Journal for the History of Science 35 (2):213-250.

Ivo Schneider, Johannes Faulhaber, 1580–1635: Rechenmeister in Einer Welt des Umbruchs. Vita Mathematica, 7. Basel, Boston, Berlin: Birkhäuser, 1993. Pp. Xiv + 271. ISBN 3-7643-2919-X. SFr. 88.00, DM 98.00. [REVIEW]Charlotte Methuen - 1996 - British Journal for the History of Science 29 (3):364-365.

Analytics

Added to PP index
2016-06-30

Total views
10 ( #849,042 of 2,420,544 )

Recent downloads (6 months)
1 ( #542,979 of 2,420,544 )

How can I increase my downloads?

Downloads