Finite and Algorithmic Model Theory
Download or Read eBook Finite and Algorithmic Model Theory PDF 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.
Author | : Javier Esparza |
Publisher | : Cambridge University Press |
Total Pages | : 355 |
Release | : 2011-03-10 |
ISBN-10 | : 9780521718202 |
ISBN-13 | : 0521718201 |
Rating | : 4/5 (02 Downloads) |
Book Synopsis Finite and Algorithmic Model Theory by : Javier Esparza
Book excerpt: Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.