An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack

Auteur principal : Barnes, Donald W., 1935-, AuteurCo-auteur : Mack, John M., 1936-, AuteurType de document : Livre numériqueCollection : Graduate texts in mathematics, 22Langue : anglais.Éditeur : Berlin : Springer, 1975ISBN: 9781475744897.ISSN: 0072-5285.Sujet MSC : 03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundationsEn-ligne : Numir | Springerlink | Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

The title of the book is intriguing; the short length (121 pages), type setting and selection of topics (Zermelo-Frankel set theory, ultraproducts, non-standard models, Turing machines and Gödel numbers, Hilbert's tenth problem, word problems) are excellent. Although there are some disappointing aspects, noted below, on the whole the book is a delight, and fulfills its purpose. (MathSciNet)

There are no comments on this title.

to post a comment.