Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 43 results. Subscribe to this search

|
1. Regressive sets and the theory of isols

by McLaughlin Thomas G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Marcel Dekker 1982Availability: Items available for loan: [Call number: 511.32 M161] (1).
2. Techniques of admissible recursion theory

by Chong C T.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: [Call number: 511.35 C548] (1).
3. Compution with recurrence relations

by Wimp Jet.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Pitman Advanced 1984Availability: Items available for loan: [Call number: 511.35 W757] (1).
4. (Omega)-Bibliography of mathematical logic recursion theory

by Hinman P G [ed.] | Muller G H [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
5. Subrecursion : functions and hierarchies

by Rose H E.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 1984Availability: Items available for loan: [Call number: 511.35 R796] (1).
6. Recursion via pascal

by Rohl J S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge C U P 1984Availability: Items available for loan: [Call number: 005.131 R738] (1).
7. Computability an introduction to recursive function theory

by Cutland Nigel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge C U P 1980Availability: Items available for loan: [Call number: 511.35 C989] (2).
8. Higher recursion theory

by Sacks Gerald E.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1990Availability: Items available for loan: [Call number: 511.35 Sa121] (2).
9. Classical recursion theory : the theory of functions and sets of natural numbers

by Odifreddi Piergiorgio.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: [Call number: 511.35 Od24] (1).
10. Recursive functionals

by Sanchis Luis E.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1992Availability: Items available for loan: [Call number: 511.35 Sa211] (1).
11. Recursive introduction to the theory of computation

by Smith C H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1994Availability: Items available for loan: [Call number: 005.131 Sm744] (1).
12. Complexity, logic and recursion theory

by Sorbi Andrea [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Marcel Dekker 1997Availability: Items available for loan: [Call number: 511.3 So713] (1).
13. Computability, Enumerability, unsolvability directions in recursion theory

by Cooper S B [ed.] | Slaman T A [ed.] | Wainer S S [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge CUP 1996Availability: Items available for loan: [Call number: 511.35 C778] (1).
14. Aspects of incompleteness

by Lindstrom Per.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1997Availability: Items available for loan: [Call number: 511.3 L753] (1).
15. Classical recursion theory

by Odifreddi P G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 1999Availability: Items available for loan: [Call number: 511.35 Od24] (1).
16. Role of true finiteness in the admissible recursively enumerable degrees

by Greenberg Noam.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Providence AMS 2006Availability: Items available for loan: [Call number: 510 Am512] (1).
17. Fundamentals of mathematical logic

by Hinman Peter G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Wellesley A K Peters 2005Availability: Items available for loan: [Call number: 511.3 H663] (1).
18. Recursions for convolutions and compound distributions with insurance applications

by Sundt Bjorn | Vernic Raluca [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 2009Availability: Items available for loan: [Call number: 368.01 Su957] (1).
19. Potential wadge classes

by Lecomte Dominique.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Providence AMS 2012Availability: Items available for loan: [Call number: 510 Am512] (1).
20. Recursive functions

by Peter Rozsa | Foldes Istvan [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Academic Press 1951Availability: Items available for loan: [Call number: 511.35=3 P478] (1).
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter