Elements of Finite Model Theory
Leonid Libkin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
119,75 €On orderDelivery: 2-3 weeks
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
- ISBN-13
- 9783642059483
- ISBN-10
- 3642059481
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2010
- Publication date
- 2010-12-03
- Pages
- 318
- Dimensions
- 235x155x