Your search returned 2 results.

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