1.

図書
図書
1. Classical recursion theory : the theory of functions and sets of natural numbers (: pbk.)
Piergiorgio Odifreddi
出版情報: Amsterdam ; Tokyo : North-Holland, 1992
シリーズ名: Studies in logic and the foundations of mathematics ; v. 125
所蔵情報: 図書館
2.

図書
図書
2. 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 (: gw ; : us)
S. Homer ... [et al.] ; editor, P. Odifreddi
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze
所蔵情報: 図書館