A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
5 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Finite and algorithmic model theory Javier Esparza Christian Michaux Charles Steinhorn | Javier Esparza | Michael Benedikt | The Bulletin of Symbolic Logic | 2013-03-00 |
| Finite model theory and its applications. Texts in Theoretical Computer Science | E. Grädel | Stephan Kreutzer | The Bulletin of Symbolic Logic | 2010-09-00 |
| Elements of Finite Model Theory | Leonid Libkin | Scott Weinstein | Journal of Logic, Language and Information | 2007-03-01 |
| Finite model theory | Ebbinghaus Heinz-Dieter and Jörg Flum | G. L. McColm | The Journal of Symbolic Logic | 1996 |
| Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers | H. Jerome Keisler | E. G. K. López-Escobar | The Journal of Symbolic Logic | 1973 |