Foundations of mathematics in polymorphic type theory

Topoi 20 (1):29-52 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1010652812660

Links

PhilArchive



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

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

Renewing foundations -.Andrei Rodin - unknown
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Relations vs functions at the foundations of logic: type-theoretic considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
The Foundations of Mathematics in the Theory of Sets.John P. Mayberry - 2000 - Cambridge University Press.
Foundations of logic, 1903-05.Bertrand Russell - 1994 - New York: Routledge. Edited by Alasdair Urquhart & Albert C. Lewis.
First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown

Analytics

Added to PP
2009-01-28

Downloads
59 (#267,103)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.

Add more citations

References found in this work

New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.

View all 16 references / Add more references