edited by F. Guenthner and S. J. Schmidt
D. Reidel c1979 Synthese language library, v. 4
: hard , : pbk
所蔵館112館