Applied logic series
Kluwer, c1996-
APLS
Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999)
Publisher varies: Springer
edited by Heinrich Wansing
Kluwer c1996 Applied logic series v. 2
所蔵館27館