![book Logic Colloquium 2004](/covers/files_170/1538000/73b9c8349082923eea37a98ffc467f40-d.jpg)
- Author: Alessandro Andretta Keith Kearnes Domenico Zambella
- Language: English
- Year: 2008
![book Reverse Mathematics 2001](/covers/files_170/1538000/7c2c50a888c578bf4e49df8052bb6640-d.jpg)
- Author: Stephen G. Simpson (ed.)
- Language: English
- Year: 2005
![book Logicism Renewed: Logical Foundations for Mathematics and Computer Science](/covers/files_170/1538000/3d4bba79ced9b9c6a3d432f20dc34309-d.jpg)
- Author: Paul C. Gilmore
- Language: English
- Year: 2005
![book Nonstandard Methods and Applications in Mathematics](/covers/files_170/1538000/a961b10402b6a8e4bcc51ede6fc27dc6-d.jpg)
- Author: Nigel J. Cutland Mauro Di Nasso David A. Ross
- Language: English
- Year: 2006
![book Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman](/covers/files_170/1538000/723f71e0acbbf4ed55bc0cc645b083db-d.jpg)
- Author: Wilfried Sieg Richard Sommer Carolyn Talcott
- Language: English
- Year: 2002
![book Model Theory of Stochastic Processes](/covers/files_170/1538000/79572892feb5540b33ce1fc1bc7f01ce-d.jpg)
- Author: Sergio Fajardo H. Jerome Keisler
- Language: English
- Year: 2002
![book Logic and Algebraic Structures in Quantum Computing](/covers/files_170/1501000/1e75dbee117b1b0c02d2c5489fb5843c-d.jpg)
- Author: Jennifer Chubb Ali Eskandarian Valentina Harizanov
- Language: English
- Year: 2016
![book A Guide to NIP Theories](/covers/files_170/1391000/38291d36fca2bf5bd772c1d8deb5c06e-d.jpg)
- Author: Pierre Simon
- Language: English
- Year: 2015
![book Bounded Variable Logics and Counting: A Study in Finite Models](/covers/files_170/483000/ca6f0e1c7ee50650c3b6e8bd20f6735f-d.jpg)
- Author: Martin Otto
- Language: English
- Year: 1997