 |
Elements of Finite Model Theory
This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analysing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. author: Libkin, Leonid; publisher: Springer-Verlag
 |
|
Availability: refer to store website
Shipping: refer to store website
|
|
£30.50
at countrybookshop.co.uk
|
 |
Kluwer Academic Publishers A Guide to Classical and Modern Model Theory (Trends in Logic S.)
Pages: 384, Unknown Binding, Kluwer Academic Publishers
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£33.00
at Amazon.co.uk
|
 |
Taylor & Francis Introduction to Model Theory (Algebra, Logic & Applications S.)
Pages: 324, Paperback, Taylor & Francis
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£24.69
at Amazon.co.uk
|
 |
Model Theory of Groups and Automorphism Groups
This volume surveys interactions between model theory and other branches of mathematics, notably group theory. author: ; publisher: Camb.U.P.
|
|
Availability: refer to store website
Shipping: refer to store website
|
|
£29.70
at countrybookshop.co.uk
|
|
|
 |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K Elements of Finite Model Theory (Texts in Theoretical Computer Science: An EATCS S.)
Pages: 329, Hardcover, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£28.97
at Amazon.co.uk
|
 |
Tits Buildings and the Model Theory of Groups
Introduction to buildings and their geometries with emphasis on model theoretic constructions, covering recent developments. author: ; publisher: Camb.U.P.
|
|
Availability: refer to store website
Shipping: refer to store website
|
|
£29.70
at countrybookshop.co.uk
|
 |
Basic Model Theory
An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. author: Hodges, Wilfred; publisher: Camb.U.P.
|
|
Availability: refer to store website
Shipping: refer to store website
|
|
£117.00
at countrybookshop.co.uk
|
 |
Course in Model Theory, A
An introduction to classical stability theory. The first six chapters form an introduction to first-order model theory. The next two chapters treat arithmetic and set theory. The remaining twelve chapters are stability theory, starting with saturation. author: Poizat, Bruno; publisher: Springer-Verlag,N.Y.
|
|
Availability: refer to store website
Shipping: refer to store website
|
|
£50.00
at countrybookshop.co.uk
|
 |
North-Holland Publishing Co Model Theory (Studies in Logic & the Foundations of Mathematics)
Pages: 650, Hardcover, North-Holland Publishing Co
|
|
Availability: In stock soon. Order now to get in line. First come, first served.
Shipping: refer to store website
|
|
£102.50
at Amazon.co.uk
|
 |
A K Peters Model Theory of Stochastic Processes (Lecture Notes in Logic S.)
Pages: 150, Hardcover, A K Peters
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£46.95
at Amazon.co.uk
|
 |
CRC Press Inc A First Course in Linear Model Theory (Texts in Statistical Science Series)
Pages: 496, Hardcover, CRC Press Inc
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£31.99
at Amazon.co.uk
|
 |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K Finite Model Theory (Perspectives in Mathematical Logic S.)
Pages: 342, Hardcover, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
|
|
Availability: In stock soon. Order now to get in line. First come, first served.
Shipping: refer to store website
|
|
£62.99
at Amazon.co.uk
|
 |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K Finite Model Theory (Perspectives in Mathematical Logic)
Pages: 374, Paperback, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
|
|
Availability: In stock soon. Order now to get in line. First come, first served.
Shipping: refer to store website
|
|
£47.99
at Amazon.co.uk
|
 |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K Introduction to Mathematical Logic: Set Theory, Computable Functions, Model Theory
Pages: 198, Hardcover, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
|
|
Availability: In stock soon. Order now to get in line. First come, first served.
Shipping: refer to store website
|
|
£32.99
at Amazon.co.uk
|
 |
Oxford University Press Mathematical Logic: A Course with Exercises: Recursion Theory, Godel's Theorem, Set Theory and Model Theory Pt.2
Pages: 352, Paperback, Oxford University Press
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£30.40
at Amazon.co.uk
|
 |
Oxford University Press A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic S.)
Pages: 451, Paperback, Oxford University Press
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£29.99
at Amazon.co.uk
|
 |
Cambridge University Press Tits Buildings and the Model Theory of Groups (London Mathematical Society Lecture Note S.)
Pages: 308, Paperback, Cambridge University Press
|
|
Availability: Usually dispatched within 24 hours
Shipping: refer to store website
|
|
£33.25
at Amazon.co.uk
|
