Image Unavailable
Image not available for
Color:

Follow the author

Model Theory (Oxford Logic Guides) 1st Edition

by Maria Manzano (Author), Ruy J. G. B. de Queiroz (Author)

{"desktop_buybox_group_1":[{"displayPrice":"$142.04","priceAmount":142.04,"currencySymbol":"$","integerValue":"142","decimalSeparator":".","fractionalValue":"04","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"3tzoge%2B2lEglC2oMBZsiJQBPcmgIo0lgv197LgfVE5nRSJQDcYborcFy4dDAB84H1N%2FCoXGz1Opz%2F8AXdEmgfXmBDsF2AbtZu9OFcVAqV7PkG1ol8UGaxgYCozOMqqJ2lLEuPObzJgo%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topic and consistently points out the motivations for each new development. The proofs are also explained in detail.

Report an issue with this product or seller

ISBN-10

0198538510
ISBN-13

978-0198538516
Edition

1st
Publisher

Oxford University Press
Publication date

July 8, 1999
Language

English
Dimensions

9.21 x 6.14 x 0.63 inches
Print length

264 pages

See all details

Introduction to Logic (Dover Books on Mathematics)
Patrick Suppes

Paperback
$10.56
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
Introduction to Systems Theory
Niklas Luhmann

Paperback
$28.00
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
Introduction to Graph Theory (Dover Books on Mathematics)
Richard J. Trudeau

Paperback
$11.96
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
Introducing Category Theory
Peter Smith
Paperback
$16.99
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
Naive Set Theory (Dover Books on Mathematics)
Paul R. Halmos

Paperback
$12.53
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
A Profile of Mathematical Logic (Dover Books on Mathematics)
Howard DeLong

Paperback
$12.49
Get it as soon as Thursday, Apr 16
FREE Shipping on orders over $35 shipped by Amazon
Only 1 left in stock - order soon.

Editorial Reviews

Review

"This is an excellent pedagogically oriented introductory text on classical model theory addressed to students without any previous background in logic. It seems suitable for advanced undergraduate mathematics majors, and might equally be used as a motivated (and motivating) introduction to mathematical logic. The large number of examples, exercises and problems placed at the end of each section will well serve the learner, be it in a course or in self-study. The preface by J. Mosterin furnishes a valuable perspective of the scope and development of model theory. The detailed glossary of symbols and abbreviations coupled with a good index enhances the use of this text. . . . All in all, this is a carefully written book based on considerable experience in teaching model theory and thus is highly suitable for adoption as a classroom text."--Mathematical Reviews

"[C]onsider odel Theory by Manzano. This book is especially well written. Each chapter begins with a very interesting and clarifying introduction. (I like the fact that Manzano introduces the notion of a structure first, without tying it to a first order language.)"--The Bulletin of Mathematics Books

About the Author

Author: Maria Gracia Manzano Arjona, Profesora Titular de Lógica, Departamento de Lógica y Filosofia de la Ciencia, Facultad de Filosofia, Universidad de Salamanca, Campus Unamuno, Edificio FES, 37007 Salamanca, SPAIN. Tel: +34 23 294640 x3416; fax: +34 23 294638; email: mara@gugu.usal.es Translator: Dr Ruy J. G. B. de Queiroz, Departamento de Informatica, Universidade Federal de Pernambuco, Av. Prof. Luis Freire, Cidade Universitaria, Recife, PE 50740-540, BRAZIL. Tel: +55 81 271 8430; fax: +55 81 271 8438; email: ruy@di.ufpe.br

Product details

Publisher ‏ : ‎ Oxford University Press
Publication date ‏ : ‎ July 8, 1999
Edition ‏ : ‎ 1st
Language ‏ : ‎ English
Print length ‏ : ‎ 264 pages
ISBN-10 ‏ : ‎ 0198538510
ISBN-13 ‏ : ‎ 978-0198538516
Item Weight ‏ : ‎ 1.2 pounds
Dimensions ‏ : ‎ 9.21 x 6.14 x 0.63 inches
Best Sellers Rank: #5,300,439 in Books (See Top 100 in Books)
- #441 in Computer Programming Logic
- #899 in Discrete Mathematics (Books)
- #2,051 in Mathematical Logic

About the author

Follow authors to get new release updates, plus improved recommendations.

María Manzano

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read book recommendations and more.

Image Unavailable

Follow the author

Model Theory (Oxford Logic Guides) 1st Edition

Purchase options and add-ons

Frequently purchased items with fast delivery

Editorial Reviews

Review

About the Author

Product details

Videos

About the author

María Manzano

Related books

Customer reviews

Images in this review

No customer reviews