Periódicos correntes

Your search returned 18 results.

Results
	1.	Recursion theory/ edited by Anil Nerode, Richard A. Shore. by Nerode, Anil, 1932- Shore, Richard A, 1946- American Mathematical Society Association for Symbolic Logic AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) Series: Proceedings of symposia in pure mathematics ; v. 42. Publication details: Providence, R.I.: American Mathematical Society, 1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 R311 1985 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Computability, enumerability, unsolvability: directions in recursion theory/ edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. by Cooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen), 1954- Wainer, S. S Series: London Mathematical Society lecture note series ; 224 Publication details: Cambridge, UK; New York: Cambridge University Press, 1996 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 C738 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Techniques of admissible recursion theory/ C.T. Chong. by Chong, C.-T. (Chi-Tat), 1949- Series: Lecture notes in mathematics (Springer-Verlag) ; 1106. Publication details: Berlin ; New York: Springer-Verlag, 1984 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	4.	Recursion theory: computational aspects of definability/ Chi Tat Chong, Liang Yu. by Chong, C.-T. (Chi-Tat), 1949- Yu, Liang (Professor of mathematics) Series: De Gruyter series in logic and its applications ; 8. Publisher: Berlin; Boston: Walter de Gruyter, [2015] Availability: Items available for loan: Castorina (1)Call number: 511.3 C548r 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Computability, an introduction to recursive function theory/ Nigel Cutland. by Cutland, Nigel Publication details: Cambridge, UK: New York: Cambridge University Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 C989c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available No cover image available Recursiveness/ [by] Samuel Eilenberg [and] Calvin C. Elgot. by Eilenberg, Samuel Elgot, Calvin C [joint author.] Publication details: New York: Academic Press, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 E34r 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Initial segments of degrees below 0'/ Richard L. Epstein. by Epstein, Richard L, 1947- Series: Memoirs of the American Mathematical Society ; no. 241. Publication details: Providence, R.I.: American Mathematical Society, 1981 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	8.	Fundamentals of generalized recursion theory/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Studies in logic and the foundations of mathematics ; v. 105. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 F547f 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available No cover image available Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.352 G655r 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available Recursive analysis. by Goodstein, R. L. (Reuben Louis) Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1961 Availability: Items available for loan: Castorina (1)Call number: 512 G655r 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	The role of true finiteness in the admissible recursively enumerable degrees/ Noam Greenberg. by Greenberg, Noam, 1974- Series: Memoirs of the American Mathematical Society ; no. 854, Publication details: Providence, R.I.: American Mathematical Society, c2006 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	12.	Algebraic recursion theory/ L. L. Ivanov ; editor, J. L. Bell. by Ivanov, L. L. (Ljubomir Lalov), 1952- Series: Ellis Horwood series in mathematics and its applications Language: English Original language: Bulgarian Publication details: Chichester: New York: E. Horwood, Halsted Press, 1986 Availability: Items available for loan: Castorina (1)Call number: 511.352 I93a 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	Potential wadge classes/ Dominique Lecomte. by Lecomte, Dominique, 1964- Series: Memoirs of the American Mathematical Society ; no. 1038. Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	14.	Recursion on the countable functionals/ Dag Normann. by Normann, Dag, 1947- Series: Lecture notes in mathematics (Springer-Verlag) ; 811. Publication details: Berlin; New York: Springer-Verlag, 1980 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi. by Odifreddi, Piergiorgio, 1950- Series: Studies in logic and the foundations of mathematics ; v. 125. Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 O24c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	Recursion via Pascal/ J. S. Rohl. by Rohl, J. S. (Jeffrey Soden), 1938- Series: Cambridge computer science texts ; 19. Publication details: Cambridge, UK New York: Cambridge University Press, 1984 Availability: Items available for loan: Castorina (1)Call number: 004.015 R738r 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Computability theory/ Rebecca Weber. by Weber, Rebecca, 1977- Series: Student mathematical library ; v. 62. Publication details: Providence, R.I.: American Mathematical Society, c2012 Availability: Items available for loan: Castorina (1)Call number: 511.3 W375c 2012 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	Computable analysis: an introduction/ Klaus Weihrauch. by Weihrauch, K. (Klaus), 1943- Series: Texts in theoretical computer science Publication details: Berlin; New York: Springer-Verlag, c2000 Availability: Items available for loan: Castorina (1)Call number: 515 W419c 2000 IMPA. Found in Open Library: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha