|
|
1.
|
RECURSIVE ASPECTS OF DESCRIPTIVE SET THEORY
by Mansfield, Richard | Weitkamp, Galen. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: vii,144.Publisher: New York Oup 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 M317r] (1).
|
|
|
2.
|
THINKING RECURSIVELY
by Roberts, Eric. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,179.Publisher: New York Wiley 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R541t] (1).
|
|
|
3.
|
Induction, recursion and programming
by Wand, Mitchell. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 202p.Publisher: New York North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W181i Cop.2] (1).
|
|
|
4.
|
SELECTED PAPERS
by Elgot, Calvis | Bloom, Stephen L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv,460.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 EL38s] (1).
|
|
|
5.
|
GENERAL RECURSION THEORY
by Fenstad, Jens Erik. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,225.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F366g] (1).
|
|
|
6.
|
RECURSION-THEORETIC HIERARCHIES
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,466.Publisher: Berlin Springer-Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H593r] (1).
|
|
|
7.
|
Computability
: an introduction to recursive function theory
by Cutland, Nigel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,251p.Publisher: Cambridge Cambridge University Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C972c] (1).
|
|
|
8.
|
Induction, recursion and programming
by Wand, Mitchell. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 202p.Publisher: New York North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W181i] (1).
|
|
|
9.
|
ALGORITHM DESIGN
by Paull, Marvin C. Material type: Book Description: xiv,490.Publisher: New York Wiley c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 P284a] (1).
|
|
|
10.
|
COMPUTABLE ANALYSIS
by Weihrauch,Klaus. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 285.Publisher: Springer-Verlag,Berlin 2000Availability: No items available Checked out (1).
|
|
|
11.
|
Computability theory
by Weber, Rebecca. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 203p.Publisher: Providence American Mathematical Society 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 W388c] (1).
|
|
|
12.
|
E-recursion, forcing, and C*- algebras
by | Chong, Chitat, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 217p.Publisher: New Jersey World Scientific 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 El25] (1).
|
|
|
13.
|
Recursive number theory
: a development of recursive arithmetic in a logic-free equation calculus.
by Goodstein, R. L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 190p.Publisher: Amsterdam North-Holland Publishing 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
|
14.
|
Recursion theory
: proceedings...
by Symposia in pure Mathematics of the American Mathematical Society New York 1982 | Nerode, Anil [ed.] | Shore, Richard A [ed.]. Description: vii,528p.Publisher: New York American Mathematical Society 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Am35r] (1).
|
