Introduction to Mathematical Logic: A problem solving course
by Arnold W. Miller
Publisher: arXiv 1996
Number of pages: 75
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.
Home page url
Download or read it online for free here:
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.
by Vilnis Detlovs, Karlis Podnieks - 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).
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.
by P.D. Magnus
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.