Finite and Algorithmic Model Theory
| Author | : Javier Esparza |
| Publisher | : Cambridge University Press |
| Total Pages | : 355 |
| Release | : 2011-03-10 |
| ISBN-10 | : 9780521718202 |
| ISBN-13 | : 0521718201 |
| Rating | : 4/5 (201 Downloads) |
Book Synopsis Finite and Algorithmic Model Theory by : Javier Esparza
Download or read book Finite and Algorithmic Model Theory written by Javier Esparza and published by Cambridge University Press. This book was released on 2011-03-10 with total page 355 pages. Available in PDF, EPUB and Kindle. Book excerpt: Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
