edited by Jan van Eijck, Vincent van Oostrom, Albert Visser

A K Peters c2004 Lecture notes in logic 17

: pbk

所蔵館11館

edited by Jan van Eijck and Albert Visser

MIT Press c1994 MIT Press series in the foundations of computing

所蔵館28館