Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available No cover image available No cover image available
Computability & unsolvability/ Martin Davis. by 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.

Place hold Add to cart
2.
No cover image available No cover image available No cover image available
Lecture notes on mathematical logic: Fall 1959/ Based on student notes by Allen Weingarten. by
Publication details: [New York]: New York University, [1959]
Availability: Items available for loan: Castorina (1)Call number: 511.3 D263l 1959 IMPA.

Place hold Add to cart
3.
No cover image available No cover image available No cover image available
The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ Martin Davis. by
Publication details: Hewlett, N.Y.: Raven Press, [1965]
Availability: Items available for loan: Castorina (1)Call number: 511.3 D263u 1965 IMPA.

Place hold Add to cart
4.
No cover image available No cover image available No cover image available
Computability, 1973-1974/ Martin Davis ; notes by Barry Jacobs. by
Publication details: New York: Courant Institute of Mathematical Sciences, c1974
Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA.

Place hold Add to cart
5.
See Baker & Taylor
Computability & unsolvability/ Martin Davis. by Series: McGraw-Hill series in information processing and computers
Edition: Dover ed.
Publication details: New York: Dover, 1982
Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1982 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha