Cover Image

An algebraic introduction to mathematical logic / D.W. Barnes, J.M. Mack.

Show other versions (1)

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub stantial course on abstract algebra. Consequently, our treatment ofthe sub ject is algebraic. Although we assurne a reasonable level of sophistication in...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Authors: Barnes, D. W. (Donald W.), 1935-, Mack, J. M. (Author)
Format: eBook
Language:English
Published: New York : Springer-Verlag, [1975]
Series:Graduate texts in mathematics ; v. 22.
Subjects:
Logic, Symbolic and mathematical.
Algebraic logic.
Table of Contents:
  • 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.

Similar Items