Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Methods of logic
Methods of logic
Author 
Quine, Willard Van Orman.
Preferred Shelf Number 
BC 50 Q8 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for The Logic and rhetoric of exposition
The Logic and rhetoric of exposition
Author 
Martin, Harold Clark. Ohmann, Richard M., ort. yaz.
Preferred Shelf Number 
PE 1429 M3
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Formal systems and recursive functions : proceeding
Formal systems and recursive functions : proceeding
Author 
Logic Colloquium (8th : 1963 : Oxford).
Preferred Shelf Number 
BC 135 L8292 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Formal systems and recursive functions
Formal systems and recursive functions
Author 
Crossley, John N. Dummett, Michael, 1925-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A transfinite type theory with type variables
A transfinite type theory with type variables
Author 
Andrews, P. B. (Peter Bruce), 1937-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Introduction to the theory of finite automata
Introduction to the theory of finite automata
Author 
Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The foundations of intuitionistic mathematics
The foundations of intuitionistic mathematics
Author 
Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534040
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A theory of sets
A theory of sets
Author 
Morse, Anthony P. (Anthony Perry)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123745675
Format: 
Availability 
Online Library~1
Available:
Copies: