ID:DA05245027
CIME Meeting on Logic and Computer Science
同姓同名の著者を検索
S. Homer ... [et al.] ; editor, P. Odifreddi
Springer-Verlag c1990 Lecture notes in mathematics 1429 . Fondazione C.I.M.E., Firenze
: gw , : us
所蔵館97館
