Labelled deductive systems
Gespeichert in:
Verfasser / Beitragende:
Dov M. Gabbay
Ort, Verlag, Jahr:
Oxford :
Clarendon Press,
1996-
Beschreibung:
Vol. 1-
Format:
Buch