**Introduction to Mathematical Logic: A problem solving course**

by Arnold W. Miller

**Publisher**: arXiv 1996**Number of pages**: 75

**Description**:

This is a set of 288 questions written for a Moore-style course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; Lowenheim-Skolem theorems; Turing machines, Church's Thesis; completeness theorem and first incompleteness theorem; undecidable theories; second incompleteness theorem.

Download or read it online for free here:

**Download link**

(430KB, PDF)

## Similar books

**The Principles Of Mathematics**

by

**Bertrand Russell**-

**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.

(

**7335**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.

(

**7558**views)

**An Introduction to Mathematical Logic**

by

**Wolfram Pohlers, Thomas Glass**

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.

(

**7268**views)

**Intuitionistic Logic**

by

**Nick Bezhanishvili, Dick de Jongh**-

**Universiteit van Amsterdam**

In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.

(

**6254**views)