[edited by] Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor

Cambridge University Press 2008 digitally printed version Cambridge tracts in theoretical computer science 22

: pbk.

所蔵館6館

edited by Viggo Stoltenberg-Hansen, Jouko Väänänen

Association for Symbolic Logic , A K Peters c2006 Lecture notes in logic 24

: hbk , : pbk

所蔵館8館

Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor

Cambridge University Press 1994 Cambridge tracts in theoretical computer science 22

: hardback

所蔵館34館