Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'su:"Recursion theory"'
Refine your search
Availability
Limit to records with available items
Authors
Cooper, S. B
Cutland, Nigel
Edmonds, Jeff
Gasarch, William I
Martin, Georgia A
Odifreddi, Piergiorg...
Pereti︠a︡tʹkin, M. G
Roberts, Eric
Slaman, T. A
Smullyan, Raymond M
Wainer, S. S
Weihrauch, K
Show more
Show less
Item types
English Books
Topics
Algorithms - Study a...
Axiomatic recursion ...
Computable functions
Computational comple...
Fixed point theory
Invariants - Study a...
Loops (Group theory)...
Mathematical analysi...
Recursion theory
Recursion theory - S...
Show more
Show less
Your search returned 9 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
[ New list ]
Results
1.
Thinking recursively with Java
Eric Roberts
by
Roberts, Eric
Publication details:
Hoboken, NJ
John Wiley
c2006
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
005.133J ROB
.
2.
Bounded queries in recursion theory
William I. Gasarch, Georgia A. Martin
by
Gasarch, William I
Martin, Georgia A
Publication details:
Boston
Birkauser
c1999
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 GAS
.
3.
No cover image available
Classical recursion theory : the theory of functions and sets of natural numbers
Piergiorgio Odifreddi
by
Odifreddi, Piergiorgio
Publication details:
Amsterdam ; New York
North-Holland
1989-1999
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 ODI
.
4.
Computability, an introduction to recursive function theory
Nigel Cutland
by
Cutland, Nigel
Publication details:
Cambridge
Cambridge University Press
2000
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.8 CUT
.
5.
Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
by
Cooper, S. B
Slaman, T. A
Wainer, S. S
Publication details:
Cambridge
Cambridge University Press
1996
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 SLA
.
6.
Computable analysis : an introduction
Klaus Weihrauch
by
Weihrauch, K
Publication details:
Berlin ; New York
Springer Verlag
2000
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
515 WEI
.
7.
No cover image available
Diagonalization and self-reference
Raymond M. Smullyan
by
Smullyan, Raymond M
Publication details:
Oxford
Clarendon Press
1994
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
51 3 SMU
.
8.
No cover image available
Finitely axiomatizable theories
Mikhail G. Peretyatʹkin
by
Pereti︠a︡tʹkin, M. G
Publication details:
New York
Consultants Bureau
c1997
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
511.35 PER
.
9.
How to think about algorithms
Jeff Edmonds
by
Edmonds, Jeff
Publication details:
Cambridge
Cambridge University Press
2008
Availability:
Items available for loan:
Anna Centenary Library
(1)
Call number:
518.1 EDM
.
Pages
Find us on the map
Powered by
Koha