| Model Theory Contributor(s): Manzano, Maria (Author), de Queiroz, Ruy J. G. B. (Author) |
|
 |
ISBN: 0198538510 ISBN-13: 9780198538516 Publisher: Oxford University Press, USA OUR PRICE: $228.00 Product Type: Hardcover Published: July 1999 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Logic Design - Computers | Computer Science |
| Dewey: 511.3 |
| LCCN: 00500599 |
| Physical Information: 0.63" H x 6.14" W x 9.21" (1.20 lbs) 264 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |