Model Theory, 9780198538516
Hardcover
Abstract math links structures, languages, and unlocks hidden connections.

$250.40

  • Hardcover

    264 pages

  • Release Date

    29 April 1999

Check Delivery Options

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 Books

About 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.