Limit Search Results
Author
SpringerLink (Online service)
(6)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Hulst, Harry van der, contributor.
(2)
Language
Publication Date
-
Subject
Recursion theory.
(9)
Logic, Symbolic and mathematical.
(3)
Recursion theory -- Congresses.
(3)
Arithmetic -- Foundations.
(1)
Biolinguistics.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Statistically Speaking : A Dictionary of Quotations.
Statistically Speaking : A Dictionary of Quotations.
Author 
Gaither, C. C. Cavazos-Gaither, Alma E.
Preferred Shelf Number 
QA273
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187124
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Handbook of Mathematical Induction : Theory and Applications
Handbook of Mathematical Induction : Theory and Applications
Author 
Gunderson, David S., author.
Preferred Shelf Number 
QA9.54 G863 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Phonological Explorations : Empirical, Theoretical and Diachronic Issues
Phonological Explorations : Empirical, Theoretical and Diachronic Issues
Author 
Apoussidou, Diana, contributor. Archangeli, Diana, contributor. Boersma, Paul, contributor. Booij, Geert, contributor. Botma, Bert, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110295177
https://www.degruyter.com/isbn/9783110295177
Cover https://www.degruyter.com/document/cover/isbn/9783110295177/original
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
Cover image for Recursion and Human Language
Recursion and Human Language
Author 
Gibson, Edward, contributor. Harder, Peter, contributor. Hauser, Marc D., contributor. Hulst, Harry van der, contributor. Hulst, Harry van der, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110219258
https://www.degruyter.com/isbn/9783110219258
Cover https://www.degruyter.com/document/cover/isbn/9783110219258/original
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
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:
24. 
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: