Model Theory

Informationen zum Autor 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: [phone] x3416; fax: [phone]; email: [e-mail] 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: [phone]; fax: [phone]; email: [e-mail] Klappentext 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. Zusammenfassung Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained.

Dettagli sul prodotto

• Autori: Ruy J G B de Queiroz, Maria Manzano, Maria (Profesora Titular De Logica Manzano, Mariano C Manzano, Mariano C. Manzano, Manzano Maria
• Con la collaborazione di: Ruy J G B de Queiroz (Traduzione), Ruy J. G. B. de Queiroz (Traduzione), Ruy De Queiroz (Traduzione), Ruy J. G. B. de Queiroz (Traduzione)
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 29.04.1999
• EAN: 9780198538516
• ISBN: 978-0-19-853851-6
• Pagine: 264
• Serie: Oxford Logic Guides; Oxford Logic Guides
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; MATHEMATICS / Applied, MATHEMATICS / Logic, COMPUTERS / Machine Theory, Mathematical theory of computation, Mathematical modelling, Mathematical logic