Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Cylindric algebras
Cylindric algebras
Author 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number 
QA 9 H415 1971- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Cylindric algebras. Part II
Cylindric algebras. Part II
Author 
Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876799
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Author 
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Author 
Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: 
Availability 
Online Library~1
Available:
Copies: