Opening book details…
Can I read Model Theory (Oxford Logic Guides, 37) on EtoBox?
Model Theory (Oxford Logic Guides, 37) by Manzano, María is a nonfiction available to read on EtoBox.
What is Model Theory (Oxford Logic Guides, 37) about?
<br> 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.
Who reads Model Theory (Oxford Logic Guides, 37)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Manzano, María
- Publisher
- Oxford University Press, Clarendon Press
- Published
- 1999
- Language
- EN
- ISBN
- 9780198538516
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Programming
More by Manzano, María
Browse all works by Manzano, María
Similar books
- Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) — Jane Bridge (1977)
- Basic Model Theory (Studies in Logic, Language, and Information) — Kees Doets (1996)
- Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45) — David J. Pym and Eike Ritter (2004)
- Lectures on Infinitary Model Theory (Lecture Notes in Logic, Series Number 46) — David Marker (2016)
- An Introduction to Stability Theory (Oxford Logic Guides) — Anand Pillay (1983)
- Introduction to Model Theory (Algebra, Logic and Applications Volume 15) — Philipp Rothmaler (2000)