Texts in computer science
College Publications
edited by Johan van Benthem, Shier Ju, and Frank Veltman
College Publications c2007 Texts in computer science v. 8
: pbk
所蔵館1館