Kamareddine Fairouz, Laan Twan, and Nederpelt Rob. A modern perspective on type theory—From its origins until today. Applied Logic Series, vol. 29. Kluwer Academic Publishers, Dordrecht, 2004, xiv+ 357 pp [Book Review]

Bulletin of Symbolic Logic 12 (2):296-297 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1017/s1079898600002742

Links

PhilArchive



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

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

Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Types in mathematics and logic before 1940.Fairouz Kamareddine, T. Nederpelt & R. Laan - 2002 - Bulletin of Symbolic Logic 8 (2).
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
On Π-conversion in the λ-cube and the combination with abbreviations.Fairouz Kamareddine, Roel Bloo & Rob Nederpelt - 1999 - Annals of Pure and Applied Logic 97 (1-3):27-45.
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
deBessonet Cary G.. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii+ 248 pp. [REVIEW]Robert Stärk - 1995 - Journal of Symbolic Logic 60 (4):1328-1329.
Melvin Dalgarno and Eric Matthews, eds., The Philosophy of Thomas Reid, Dordrecht, Kluwer Academic Publishers, 1989, pp. vii + 491. - Roger D. Gallie, Thomas Reid and ‘The Way of Ideas’, Dordrecht, Kluwer Academic Publishers, 1989, pp. ix + 287. [REVIEW]Manfred Kuehn - 1991 - Utilitas 3 (2):324.
Karl SCHUHMANN: Selected Papers on Phenomenology. Kluwer Academic Publishers, Dordrecht, 2004.P. M. Livingston - 2006 - Grazer Philosophische Studien 70 (1):266.
Philosophy of mathematics today/Evandro Agazzi en György Darvas (eds.).-Dordrecht: Kluwer Academic Publishers, 1997-(Episteme; 22). [REVIEW]Jean Van Bendegem - 2000 - Studia Logica: An International Journal for Symbolic Logic 65 (2):275-278.
Λ-terms, logic, determiners and quantifiers.Fairouz Kamareddine - 1992 - Journal of Logic, Language and Information 1 (1):79-103.
Book Review:Quantum Mechanics: Theory and Applications. By Ajoy K. Ghatak and S. Lokanathan, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004, xlviii+858 pp., $303.00/ $99.00 . ISBN 1-4020-1850-9. [REVIEW]V. Lakshminarayanan - 2005 - Foundations of Physics 35 (6):1107-1109.

Analytics

Added to PP
2014-03-18

Downloads
33 (#481,697)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references