Search Results for Recursion theory.

Recursion Theory and Computational Complexity

2026-01-31T11:39:51Z

Author Lolli, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11072-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of generalized recursion theory

2026-01-31T11:39:51Z

Author Fitting, Melvin, 1942-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: Electronic Resources
Availability Online Library~1

Computability theory an introduction to recursion theory

2026-01-31T11:39:51Z

Author Enderton, Herbert B.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123849588
Format: Electronic Resources
Availability Online Library~1

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

2026-01-31T11:39:51Z

Author Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: Electronic Resources
Availability Online Library~1

Generalized recursion theory Proceedings of the 1972 Oslo symposium

2026-01-31T11:39:51Z

Author Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: Electronic Resources
Availability Online Library~1

Classical recursion theory the theory of functions and sets of natural numbers

2026-01-31T11:39:51Z

Author Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: Electronic Resources
Availability Online Library~1

Classical recursion theory the theory of functions and sets of natural numbers

2026-01-31T11:39:51Z

Author Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: Electronic Resources
Availability Online Library~1

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2026-01-31T11:39:51Z

Author Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Electronic Resources
Availability Online Library~1

Mathematical logic : A course with exercises

2026-01-31T11:39:51Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

Mathematics for Computer Scientists A Practice-Oriented Approach

2026-01-31T11:39:51Z

Author Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40423-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2026-01-31T11:39:51Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26212-8
Format: Electronic Resources
Availability Online Library~1

Quick recursion

2026-01-31T11:39:51Z

Author Matuszek, David L., author.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003359616 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Statistically Speaking : A Dictionary of Quotations.

2026-01-31T11:39:51Z

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: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2026-01-31T11:39:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-31T11:39:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-31T11:39:51Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46669-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Mathematical Induction : Theory and Applications

2026-01-31T11:39:51Z

Author Gunderson, David S., author.
Preferred Shelf Number QA9.54 G863 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Essential algorithms : a practical approach to computer algorithms

2026-01-31T11:39:51Z

Author Stephens, Rod, 1961- author.
Preferred Shelf Number QA76.9 .S74 2013
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: Electronic Resources
Availability Online Library~1

The foundations of mathematics

2026-01-31T11:39:51Z

Author Kunen, Kenneth.
Preferred Shelf Number QA9 K796 2012
Format: Books
Availability Beytepe Library~1

The primacy of grammar

2026-01-31T11:39:51Z

Author Mukherji, Nirmalangshu. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Handbook of recursive mathematics

2026-01-31T11:39:51Z

Author Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: Electronic Resources
Availability Online Library~1

Handbook of recursive mathematics

2026-01-31T11:39:51Z

Author Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: Electronic Resources
Availability Online Library~1

The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

2026-01-31T11:39:51Z

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: Electronic Resources
Availability Online Library~1

Recursive analysis

2026-01-31T11:39:51Z

Author Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: Electronic Resources
Availability Online Library~1

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

2026-01-31T11:39:51Z

Author Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: Electronic Resources
Availability Online Library~1