Types in mathematics and logic before 1940

, &
Bulletin of Symbolic Logic 8 (2) (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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.
Power types in explicit mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
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. [REVIEW]Marc Bezem - 2006 - Bulletin of Symbolic Logic 12 (2):296-297.
The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940.Paolo Mancosu - 2010 - New York: Oxford University Press.
A refinement of de bruijn's formal language of mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.
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.
Classical truth in higher types.Ulrich Berger - 2008 - Mathematical Logic Quarterly 54 (3):240-246.
The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. [REVIEW]Mark van Atten - 2012 - History and Philosophy of Logic 33 (2):191-193.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Review: Samuel R. Buss, Handbook of Proof Theory: Types in Logic, Mathematics and Programming. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science.Paolo Mancosu - 2005 - History and Philosophy of Logic 26 (4):327-357.
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.
Enumerating types of Boolean functions.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (3):273-299.

Analytics

Added to PP
2014-03-24

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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