Logo

Predicative Arithmetic by Edward Nelson

Small book cover: Predicative Arithmetic

Predicative Arithmetic
by

Publisher: Princeton Univ Pr
ISBN/ASIN: 0691084556
ISBN-13: 9780691084558
Number of pages: 201

Description:
The book is based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, Euclidean algorithm, encoding, sets and functions, and more.

Home page url

Download or read it online for free here:
Download link
(5.3MB, PDF)

Similar books

Book cover: Logics of Time and ComputationLogics of Time and Computation
by - Center for the Study of Language
Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.
(5951 views)
Book cover: forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(11747 views)
Book cover: The Principles Of MathematicsThe Principles Of Mathematics
by - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(7600 views)
Book cover: Introduction to Mathematical LogicIntroduction to Mathematical Logic
by - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
(4994 views)