Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
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 Handbook of computability theory
Handbook of computability theory
Author 
Griffor, Edward R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Categorical logic and type theory
Categorical logic and type theory
Author 
Jacobs, Bart.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Tools and techniques in modal logic
Tools and techniques in modal logic
Author 
Kracht, Marcus.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Availability 
Online Library~1
Available:
Copies: