An Algebraic Introduction to Mathematical Logic

Graduate Texts in Mathematics #22

by Donald W. Barnes

I Universal Algebra.- II Propositional Calculus.- III Properties of the Propositional Calculus.- IV Predicate Calculus.- V First-Order Mathematics.- VI Zermelo-Fraenkel Set Theory.- VII Ultraproducts.- VIII Non-Standard Models.- IX Turing Machines and Gödel Numbers.- X Hilbert's Tenth Problem, Word Problems.- References and Further Reading.- Index of Notations.

136 pages, Paperback

First published June 27, 1975

Reviews

[Nick]

This book first builds up mathematical logic from the ground up in an algebraic context. After that, the book explores topics such as set theory, Turing machines, Gödel numbers, ultraproducts and Hilbert's 10th problem.