Model Theory

Hardcover | March 1, 1999

byMaria ManzanoTranslated byRuy De Queiroz

not yet rated|write a review
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasinglyimportant in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. Theselinks can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant informationbefore each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.

Pricing and Purchase Info

$222.91 online
$336.00 list price (save 33%)
Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasinglyimportant in areas such as computing, philosophy an...

Author: Maria Gracia Manzano Arjona, Profesora Titular de Logica, Departamento de Logica 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, Depart...

other books by Maria Manzano

Format:HardcoverPublished:March 1, 1999Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198538510

ISBN - 13:9780198538516

Look for similar items by category:

Customer Reviews of Model Theory

Reviews