Items related to Model Theory (Oxford Logic Guides)
Synopsis
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.
"synopsis" may belong to another edition of this title.
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
"About this title" may belong to another edition of this title.
- PublisherOxford University Press
- Publication date1999
- ISBN 10 0198538510
- ISBN 13 9780198538516
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages264
- Rating
Search results for Model Theory (Oxford Logic Guides)
Seller Image
Model Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 75736-n
Quantity: Over 20 available
Stock Image
Model Theory: 37 (Oxford Logic Guides)
Published by
Oxford University Press, USA, 1999
ISBN 10: 0198538510
ISBN 13: 9780198538516
New
Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198538516
Quantity: Over 20 available
Stock Image
Model Theory: 37 (Oxford Logic Guides)
Published by
Oxford University Press, USA, 1999
ISBN 10: 0198538510
ISBN 13: 9780198538516
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198538516
Quantity: Over 20 available
Seller Image
Model Theory (Hardcover)
Published by
Oxford University Press, Oxford, 1999
ISBN 10: 0198538510
ISBN 13: 9780198538516
New
Hardcover
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 increasingly important 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. These links can be very useful since they allow us to transfer our knowledge between relatedstructures. 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 information before 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198538516
Quantity: 1 available
Stock Image
Model Theory (Oxford Logic Guides)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780198538516_new
Quantity: Over 20 available
Seller Image
Model Theory
Published by
Oxford University Press, 1999
ISBN 10: 0198538510
ISBN 13: 9780198538516
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 75736
Quantity: Over 20 available
Seller Image
Model Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 75736-n
Quantity: Over 20 available
Stock Image
Model Theory (Oxford Logic Guides, 37)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0198538510
Quantity: 1 available
Stock Image
Model Theory (Oxford Logic Guides)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580042993
Quantity: Over 20 available
Stock Image
Model Theory (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 945eff017c01e781e4b09f8256d44e2b
Quantity: Over 20 available