![book Geometric Stability Theory](/covers/files_170/731000/22ad049a10e97d0f878fcb7fb353bf76-d.jpg)
- Author: Anand Pillay
- Language: English
- Year: 1996
![book Computability and Randomness](/covers/files_170/693000/214416d4fa45c33a27eb6d39dc0ba212-d.jpg)
- Author: André Nies
- Language: English
- Year: 2009
![book Algebraic Methods in Philosophical Logic](/covers/files_170/669000/3ad2c86073dfdc79e4fc26ed1ea6bdbf-d.jpg)
- Author: J. Michael Dunn Gary M. Hardegree
- Language: English
- Year: 2001
![book Algebraic Methods in Philosophical Logic](/covers/files_170/669000/04035da7ba882a8132e0e4c9708b4e17-d.jpg)
- Author: J. Michael Dunn Gary M. Hardegree
- Language: English
- Year: 2001
![book Gödel's Incompleteness Theorems](/covers/files_170/655000/2180c9d0c944d5a9800d3d10bdd64dc1-d.jpg)
- Author: Raymond M. Smullyan
- Language: English
- Year: 1992
![book Set Theory and the Continuum Problem](/covers/files_170/654000/cdbe5014127f118fd9e530bd631be28c-g.jpg)
- Author: Raymond M. Smullyan Melvin Fitting
- Language: English
- Year: 1996
![book Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2](/covers/files_170/642000/3347835dd383d90d64e1bedc0a3fb1ce-d.jpg)
- Author: Peter T. Johnstone
- Language: English
- Year: 2002
![book Set Theory with a Universal Set: Exploring an Untyped Universe](/covers/files_170/635000/362AD6F1C91C8A0A384ABB2CFB31DC57-g.jpg)
- Author: T. E. Forster
- Language: English
- Year: 1995
![book Category Theory](/covers/files_170/608000/021dbd8bf7ed19618da2bfa423bb7728-d.jpg)
Category Theory
pdf
- Author: Steve Awodey
- Language: English
- Year: 2006
![book Computability and randomness](/covers/files_170/599000/f604bc2fb04c935fd766937024f8fe8e-d.jpg)
- Author: André Nies
- Language: English
- Year: 2009