Periódicos correntes

Your search returned 8 results.

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.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	Computability/ George J. Tourlakis. by Tourlakis, George J Publication details: Reston, Va.: Reston Pub. Co., c1984 Availability: Items available for loan: Castorina (1)Call number: 511.3 T727c 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)

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

Powered by Koha