D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov

Elsevier c2009 Studies in logic and the foundations of mathematics v. 153

v. 1

所蔵館24館