Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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: