Refine your search

Your search returned 24 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Generalized recursion theory : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad and P. G. Hinman by Series: Studies in logic and the foundations of mathematics ; v. 94
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., c1974
Availability: Items available for loan: National Library of India (1)Call number: E164 Sy68.

Place hold Request article Save to lists
2.
Lecture notes in computer science / Procedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977; edited by Marek Karpinski by Series: Lecture notes in computer science ; 56
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
3.
Generalized recursion theory : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy and G. E. Sacks by Series: Studies in logic and the foundations of mathematics ; v. 94
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., c1978
Availability: Items available for loan: National Library of India (1)Call number: E164 Sy68.

Place hold Request article Save to lists
4.
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny and A. Zarach by Series: Lecture notes in mathematics ; 619
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 510 L 497.

Place hold Request article Save to lists
5.
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny and A. Zarach by Series: Lecture notes in mathematics ; 619
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 510 L 497.

Place hold Request article Save to lists
6.
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny and A. Zarach by Series: Lecture notes in mathematics ; 619
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 510 L 497.

Place hold Request article Save to lists
7.
Computability theory : an introduction to recursion theory / Herbert B. Enderton. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Amsterdam ; Boston : Academic Press, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
8.
Computability theory / Rebecca Weber by Series: Student Mathematical library ; no. 62
Material type: Text Text; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Hyderabad : Universities Press, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 511.352 W 389.

Place hold Request article Save to lists
9.
Computability theory / Rebecca Weber by Series: Student Mathematical library ; no. 62
Material type: Text Text; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Hyderabad : Universities Press, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 511.352 W 389.

Place hold Request article Save to lists
10.
Theory of computation / Sachin Agrawal by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Noida : Vikas Publishing House, 2014
Availability: Items available for loan: National Library of India (2)Call number: E 511.352 Ag 81, ...

Place hold Request article Save to lists
11.
No cover image available
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1957
Availability: Items available for loan: National Library of India (1)Call number: E512.81 G629.

Place hold Request article Save to lists
12.
No cover image available
Descriptive set theory / Yiannis N. Moschovakis by Series: Studies in logic and the foundations of mathematics ; v. 100
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., c1980
Availability: Items available for loan: National Library of India (1)Call number: E512.817 M85.

Place hold Request article Save to lists
13.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi by Series: Studies in logic and the foundations of mathematics ; v. 125
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., c1989
Availability: Items available for loan: National Library of India (1)Call number: E164 Od3.

Place hold Request article Save to lists
14.
Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] by Series: Studies in logic and the foundations of mathematics ; v. 138, 139
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : Elsevier, 1998
Availability: Items available for loan: National Library of India (2)Call number: E551.35 H191, ...

Place hold Request article Save to lists
15.
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
16.
Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi. by Series: Undergraduate Topics in Computer Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: (1)Call number: 005.131.

Place hold Save to lists
17.
Potential wadge classes / Dominique Lecomte. by Series: Memoirs of the American Mathematical Society ; Volume 221, Number 1038
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Providence, Rhode Island : American Mathematical Society, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
18.
No cover image available
Recursive analysis / by R. L. Goodstein by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1961
Availability: Items available for loan: National Library of India (1)Call number: E512g629.

Place hold Request article Save to lists
19.
Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert. by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
20.
Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India