|
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.
|
THE RECURSION METHODS AND ITS APPLICATIONS
by Pettifor, D.G [ed.] | Weaire, D.L [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 179p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.15 R245] (1).
|
|
5.
|
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).
|
|
6.
|
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).
|
|
7.
|
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).
|
|
8.
|
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).
|
|
9.
|
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).
|
|
10.
|
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).
|
|
11.
|
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).
|
|
12.
|
FRACTALS, CHAOS, POWER LAWS
by Schroeder,Manfred. Material type: Book Description: xviii,429.Publisher: W.H. Freeman & Co.,New York c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.1 SCH76F] (1).
|
|
13.
|
FRACTALS, CHAOS, POWER LAWS
by Schroeder,Manfred. Material type: Book Description: xviii,429.Publisher: W.H. Freeman & Co.,New York c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.1 SCH76F] (1).
|
|
14.
|
FRACTALS, CHAOS, POWER LAWS
by Schroeder,Manfred. Material type: Book Description: xviii,429.Publisher: W.H. Freeman & Co.,New York c1991Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.1 SCH76F] (1).
|
|
15.
|
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).
|
|
16.
|
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).
|
|
17.
|
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).
|
|
18.
|
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).
|
|
19.
|
A recursion relation associated with a certain special type determinant [NASA TN D-1112]
by Shanks, Ballis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 35p.Publisher: Washington, D. C. NASA April 1963Availability: Items available for reference: PK Kelkar Library, IIT Kanpur (1).
|
|
20.
|
The theory of linear prediction
: [electronic resource] /
by Vaidyanathan, P. P. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 183 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|