What Is Mathematical Logic?

This lively introduction to mathematical logic, easily accessible to nonmathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel's theorems, computability and recursive functions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.

This volume's six chapters are edited versions of a series of lectures delivered at Australia's Monash University by five individuals: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, and N. H. Williams.

Introduction
1. Historical Survey
2. The Completeness of Predicate Calculus
3. Model Theory
4. Turing Machines and Recursive Functions
5. Gödel's Incompleteness Theorems
6. Set Theory
Some Suggestions for Further Reading
Index

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

What Is Mathematical Logic?

Summary

Author Biography

Table of Contents

Supplemental Materials