Results of search for 'an:37437' › IMPA Library catalog

Results
	1.	Computability and logic/ George Boolos, Richard Jeffrey. by Boolos, George Jeffrey, Richard C [joint author.] Edition: 2d ed. Publication details: Cambridge, UK: New York: Cambridge University Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Computability, complexity, logic/ E. Börger. by Borger, E. (Egon), 1946- Series: Studies in logic and the foundations of mathematics ; v. 128. Language: engger Publication details: Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 B732c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Computability and logic/ Daniel E. Cohen. by Cohen, Daniel E Series: Ellis Horwood series in mathematics and its applications Publication details: Chichester: New York: E. Horwood, Halsted Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 C678c 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	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)
	5.	No cover image available No cover image available Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Series: McGraw-Hill series in information processing and computers Publication details: New York: McGraw-Hill, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ Martin Davis. by Davis, Martin, 1928- [ed.] Publication details: Hewlett, N.Y.: Raven Press, [1965] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263u 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Edition: Dover ed. Publication details: New York: Dover, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Minimal weak truth table degrees and computably enumerable Turing degrees/ Rodney G. Downey, Keng Meng Ng, Reed Solomon. by Downey, R. G. (Rod G.) [author.] Ng, Keng Meng [author.] Solomon, Reed [author.] Series: Memoirs of the American Mathematical Society ; no. 1284. Publisher: Providence, RI: American Mathematical Society, 2020 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	9.	A hierarchy of Turing degrees: a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability/ Rod Downey, Noam Greenberg. by Downey, R. G. (Rod G.) Greenberg, Noam, 1974- Series: Annals of mathematics studies ; no. 206. Publisher: Princeton, New Jersey: Princeton University Press, 2020 Availability: Items available for loan: Castorina (1)Call number: 511.3 D748h 2020 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	Computability: computable functions, logic, and the foundations of mathematics/ Richard L. Epstein, Walter A. Carnielli. by Epstein, Richard L, 1947- Carnielli, Walter A. (Walter Alexandre) Series: Wadsworth & Brooks/Cole statistics/probability series Publication details: Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 E64c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Computability theory, semantics, and logic programming/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Oxford logic guides ; 13 Publication details: New York: Oxford: Oxford University Press, Clarendon Press, 1987 Availability: Items available for loan: Castorina (1)Call number: 005 F547c 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen. by Hermes, Hans Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109. Publication details: Berlin: Springer, 1961 Availability: Items available for loan: Castorina (2)Call number: 511.3 H553a 1961 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	13.	No cover image available No cover image available Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann. by Hermes, Hans Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127. Edition: 2d rev. ed. Language: engger Publication details: Berlin: New York: Springer, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. by Hirschfeldt, Denis Roman [author.] Lange, Karen, 1980- [author.] Shore, Richard A, 1946- [author.] Series: Memoirs of the American Mathematical Society ; no. 1187. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2017] Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	15.	Computation: computability, similarity, and duality/ Hong Jia-Wei. by Hong, Jia-wei Series: Research notes in theoretical computer science Publication details: London: New York: Pitman, J. Wiley, 1986 Availability: Items available for loan: Castorina (1)Call number: 004.015 H772c 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	Three views of logic: mathematics, philosophy, and computer science/ Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. by Loveland, Donald W [author.] Hodel, Richard E [author.] Sterrett, Susan G [author.] Publisher: Princeton, New Jersey: Princeton University Press, [2014] Availability: Items available for loan: Castorina (1)Call number: 511.3 L898t 2014 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Hilbert's tenth problem/ Yuri V. Matiyasevich ; with a foreword by Martin Davis. by Matiiasevich, IU. V. (IUrii V.) Series: Foundations of computing Language: English Original language: Russian Publication details: Cambridge, Mass.: MIT Press, c1993 Availability: Items available for loan: Castorina (1)Call number: 512.7 M433h 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	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)
	19.	Computability in analysis and physics/ Marian B. Pour-El, J. Ian Richards. by Pour-El, Marian B. (Marian Boykan), 1928- Richards, J. Ian (Jonathan Ian), 1936- Series: Perspectives in mathematical logic Publication details: Berlin ; New York: Springer-Verlag, c1989 Availability: Items available for loan: Castorina (1)Call number: 511 P877c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available Theory of recursive functions and effective computability/ H. Rogers. by Rogers, H. (Hartley), 1926- Series: McGraw-Hill series in higher mathematics Publication details: New York: McGraw-Hill, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 R726t 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 26 results.