Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
21 Results Found Subscribe to search results
000000000DEFAULT
Print
13. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for The foundations of mathematics
The foundations of mathematics
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA9 K796 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for The primacy of grammar
The primacy of grammar
Author 
Mukherji, Nirmalangshu. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Author 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Recursive analysis
Recursive analysis
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Availability 
Online Library~1
Available:
Copies: