![book The classical decision problem](/covers/files_170/2359000/ab8a0a7a295b3b6fe82611047aa750d8-d.jpg)
- Author: Grädel Erich, Gurevich Yuri, Börger Egon
- Language: English
- Year: 1997
![book Model-Theoretic Logics](/covers/files_170/2130000/4c701a0e21d2cc51c089ecd3d1a7d7dc-g.jpg)
- Author: Barwise Jon, Feferman Solomon (eds.)
- Language: English
- Year: 1985
![book Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets](/covers/files_170/2130000/3d06b65d15ed1d9755d3a38a787e9029-d.jpg)
- Author: Robert I. Soare
- Language: English
- Year: 1987
![book Finite Model Theory](/covers/files_170/964000/8067992fdda7ccb624ab3fc3e32590aa-d.jpg)
Finite Model Theory
djvu
- Author: Heinz-Dieter Ebbinghaus Jörg Flum
- Language: English
- Year: 1995
![book Model-theoretic logics](/covers/files_170/146000/e73433089ac2ae5a5f961d6f17346d3f.jpg)
- Author: Barwise Jon, Feferman Solomon (eds.)
- Language: English
- Year: 1985
![book The Classical Decision Problem](/covers/files_170/1330000/e2e7a025d7273737161613a4041f1f29-g.jpg)
- Author: Egon Börger Erich Gradel Yuri Gurevich
- Language: English
- Year: 1997
![book The Classical Decision Problem](/covers/files_170/1298000/f678837cf75e515689b6409d96608a22-g.jpg)
- Author: E.Borger E.Gradel Yu.Gurevich
- Language: English
- Year: 1997
![book The Classical Decision Problem](/covers/files_170/1294000/334559e61b4f7bdd5d969f42c098e3bc-g.jpg)
- Author: E.Borger E.Gradel Yu.Gurevich
- Language: English
- Year: 1997
![book The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings](/covers/files_170/975000/63c1f028fd37f99461cb138dc7ad4e96-d.jpg)
- Author: Akihiro Kanamori
- Language: English
- Year: 1997
![book Essential Stability Theory](/covers/files_170/975000/5ad645f9b246dcb176bc2e31e44a0267-d.jpg)
- Author: Steven Buechler
- Language: English
- Year: 1996