by Atocha Aliseda

Springer c2006 Synthese library v. 330

: hbk , : softcover

所蔵館12館

edited by Atocha Aliseda, Rob van Glabbeek, Dag Westerståhl

CSLI Publications c1998 CSLI lecture notes no. 81

: pbk

所蔵館22館