
Model Theory
$250.40
- Hardcover
264 pages
- Release Date
29 April 1999
Summary
Model Theory: Bridging Logic and Structures
Logic languages, free from the ambiguities of natural languages, are essential in computing. Model theory, a branch of mathematical logic, explores the relationship between mathematical structures and logic languages, gaining importance in computing, philosophy, and linguistics.
Model theory’s abstract reasoning applies to diverse structures, enabling the definition of new structures and the classification of existing ones through …
Book Details
ISBN-13: | 9780198538516 |
---|---|
ISBN-10: | 0198538510 |
Series: | Oxford Logic Guides |
Author: | Maria Manzano, Ruy De Queiroz |
Publisher: | Oxford University Press |
Imprint: | Oxford University Press |
Format: | Hardcover |
Number of Pages: | 264 |
Release Date: | 29 April 1999 |
Weight: | 533g |
Dimensions: | 241mm x 160mm x 19mm |
What They're Saying
Critics 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 BooksAbout The Author
Maria Manzano
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.
Translator: Dr Ruy J. G. B. de Queiroz, Departamento de Informatica, Universidade Federal de Pernambuco, Av. Prof. Luis Freire, Cidade Universitaria, Recife, PE50740-540, BRAZIL.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.