Limit Search Results
Author
SpringerLink (Online service)
(15)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Language
Publication Date
-
Subject
Recursion theory.
(9)
Logic, Symbolic and mathematical.
(3)
Recursion theory -- Congresses.
(3)
récursion.
(3)
induction.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Recursion Theory and Computational Complexity
Recursion Theory and Computational Complexity
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: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamentals of generalized recursion theory
Fundamentals of generalized recursion theory
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computability theory an introduction to recursion theory
Computability theory an introduction to recursion theory
Author 
Enderton, Herbert B.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123849588
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Generalized recursion theory Proceedings of the 1972 Oslo symposium
Generalized recursion theory Proceedings of the 1972 Oslo symposium
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: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Rekörsiyon ile sembolik integral = Symbolic integration with recursion
Rekörsiyon ile sembolik integral = Symbolic integration with recursion
Author 
Laeli, Mahbobeh.
Preferred Shelf Number 
TEZ 2315 .L34 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
11. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520261.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action