Foundations of mathematics

Philadelphia,: W. B. Saunders Co. (1968)
  Copy   BIBTEX

Abstract

This book presents and survey of the foundations of mathematics. The emphasis is on a mathematical comparison of systems rather than on any exhaustive development of analysis within a single system. Nevertheless, for most systems considered, enough details are given for the development of arithmetic, and the method of constructing the other notions of analysis is indicated. The elements of the general theory of cardinal and ordinal numbers are also furnished in the course of this work.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Frege's philosophy of mathematics.William Demopoulos (ed.) - 1995 - Cambridge: Harvard University Press.
The foundations of mathematics.Ian Stewart & David Tall - 1977 - New York: Oxford University Press. Edited by David Orme Tall.
Essays on the foundations of mathematics.Moritz Pasch - 2010 - New York: Springer. Edited by Stephen Pollard.
Introduction to the foundations of mathematics.Raymond Louis Wilder - 1952 - Huntington, N.Y.: R. E. Krieger Pub. Co..

Analytics

Added to PP
2009-09-15

Downloads
21 (#734,423)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.
Adverbs and events.M. J. Cresswell - 1974 - Synthese 28 (3-4):455 - 481.
A partial model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references