![book Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976](/covers/files_170/1394000/207d2269efc00b3ad3de429f139638e5-g.jpg)
- Author: R.O. Gandy J.M.E. Hyland (eds.)
- Language: English
- Year: 1977
![book Tools and Techniques in Modal Logic](/covers/files_170/1393000/bdc5d8aa59ddc10169018391b833c6d8-g.jpg)
- Author: Marcus Kracht
- Language: English
- Year: 1999
![book Handbook of Proof Theory](/covers/files_170/1393000/7d3df1809fd7f41bd8a46b97e2110578-g.jpg)
- Author: Samuel R. Buss (Editor)
- Language: English
- Year: 1998
![book Logical Frameworks for Truth and Abstraction: An Axiomatic Study](/covers/files_170/1393000/3ad73fd031d2ab3771ff80c31f931125-g.jpg)
- Author: Andrea Cantini
- Language: English
- Year: 1996
![book Abstract Set Theory](/covers/files_170/1299000/881dda6319ddaee5f3c0af35e844a534-g.jpg)
Abstract Set Theory
djvu
- Author: Abraham A. Fraenkel
- Language: English
- Year: 1966
![book Abstract Set Theory](/covers/files_170/1299000/26bfe330c74d0d61f6190c63f0fea78a-g.jpg)
- Author: Abraham A. Fraenkel
- Language: English
- Year: 1966
![book Set Theory: An Introduction to Large Cardinals](/covers/files_170/1294000/51b1d24d85d5c9ca5f0a921a967ce3f6-d.jpg)
- Author: Frank R. Drake
- Language: English
- Year: 1974
![book The lambda calculus : its syntax and semantics](/covers/files_170/1288000/26cc26528680dc9b9ec05d88e110fcc2-d.jpg)
- Author: H P Barendregt
- Language: English
![book Topoi, the categorial analysis of logic](/covers/files_170/1288000/db309d1857bea85063c8e35ccdaf91bb-d.jpg)
- Author: Robert Goldblatt
- Language: English
- Year: 1984
![book Topoi: The Categorial Analysis of Logic](/covers/files_170/1287000/0d1698c124dd43e7baf5a3c532fbe092-d.jpg)
- Author: Robert Goldblatt
- Language: English
- Year: 1984