Welcome to E-Books Directory
This is a freely downloadable e-book.

Introduction to Mathematical Logic: A problem solving course

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.

Home page url

 Download or read it online here:

Download link

 (430KB, PDF)