Your search returned 3 results.

Results
	1.	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)
	2.	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)
	3.	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)

Refine your search