Your search returned 2 results.

Results
	1.	Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988/ S. Homer ... [et al.] ; editor, P. Odifreddi. by Homer, S. (Steven) Odifreddi, Piergiorgio, 1950- Centro Internazionale Matematico Estivo Series: Lecture notes in mathematics (Springer-Verlag) ; 1429. Publication details: Berlin; New York: Springer-Verlag, c1990 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	2.	Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi. by Odifreddi, Piergiorgio, 1950- Series: Studies in logic and the foundations of mathematics ; v. 125. Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 O24c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search