Applied logic series
Springer Science+Business Media, [19--?] -
Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 18 (c2000)
edited by Peter A. Flach and Antonis C. Kakas
Springer Science+Business Media c2000 Applied logic series v. 18
: pbk
所蔵館1館