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

Auteur: 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, 1975 ISBN: 9781475744897 Note: 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) Sujets MSC: 03-01 Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.) En-ligne: Numir | Springerlink | Zentralblatt | MathSciNet

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 for this item.

Log in to your account to post a comment.
Languages: English | Français | |