An Algebraic Introduction to Mathematical Logic by D.W. Barnes, J.M. Mack.

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 of the sub­ject is algebraic. Although we assume a reasonable level of sophistication in...

Full description

Saved in:
Bibliographic Details
Main Authors: Barnes, D.W (Author), Mack, J.M (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 1975.
Edition:1st ed. 1975.
Series:Graduate Texts in Mathematics, 22
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.