Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets