Labelled deductive systems

Verfasser / Beitragende:
Dov M. Gabbay
Ort, Verlag, Jahr:
Oxford : Clarendon Press, 1996-
Beschreibung:
Vol. 1-
Format:
Buch
ID: 314654925