**Predicative Arithmetic**

by Edward Nelson

**Publisher**: Princeton Univ Pr 1987**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.

Download or read it online for free here:

**Download link**

(5.3MB, PDF)

## Similar books

**Introduction to Logic**

by

**Michal Walicki**-

**University of Bergen**

This text is an introduction to mathematical logic: the compendium with the whole syllabus and an extensive section on the history of logic. The author covers the basic set theory, Turing machines, statement logic, and predicate logic.

(

**9583**views)

**A Friendly Introduction to Mathematical Logic**

by

**Christopher C. Leary, Lars Kristiansen**-

**Milne Library Publishing**

In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

(

**1598**views)

**Algebraic Logic**

by

**H. Andreka, I. Nemeti, I. Sain**

Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.

(

**10517**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**7151**views)