Yuri Gurevich, Bertrand Meyer (eds.)

Springer c2007 Lecture notes in computer science 4454

所蔵館5館

Egon Börger, Erich Grädel, Yuri Gurevich

Springer 2001, c1997 Universitext

所蔵館26館

Yuri Gurevich ... [et al.] (eds.)

Springer-Verlag c2000 Lecture notes in computer science 1912

所蔵館32館

Egon Börger, Erich Grädel, Yuri Gurevich

Springer c1997 Perspectives in mathematical logic

: gw

所蔵館29館

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Springer-Verlag c1994 Lecture notes in computer science 832

: gw , : us

所蔵館59館