Set Theory and Logic

San Francisco and London: Courier Corporation (2012)
  Copy   BIBTEX

Abstract

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Sets, Logic, and Axiomatic Theories.Alfons Borgers - 2003 - San Francisco, CA, USA: W.H. Freeman.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Elements of the Theory of Computation.Harry R. Lewis & Christos H. Papadimitriou - 1984 - Journal of Symbolic Logic 49 (3):989-990.
Set Theory, Logic and Their Limitations.Moshe Machover - 1996 - Cambridge University Press.

Analytics

Added to PP
2015-02-03

Downloads
18 (#708,051)

6 months
4 (#315,908)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The material theory of induction.John D. Norton - 2021 - Calgary, Alberta, Canada: University of Calgary Press.
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.
Normative systems represented by boolean quasi-orderings.Jan Odelstad & Lars Lindahl - 2000 - Nordic Journal of Philosophical Logic 5 (2):161-174.
Understanding induction.John Macnamara - 1991 - British Journal for the Philosophy of Science 42 (1):21-48.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references