Sequent calculi for proof search in some modal logics
Gespeichert in:
Verfasser / Beitragende:
vorgelegt von Alain Heuerding
Ort, Verlag, Jahr:
[Erscheinungsort nicht ermittelbar] :
[Verlag nicht ermittelbar],
1998
Beschreibung:
334 S. : Ill. ; 25 cm
Format:
Buch (Hochschulschrift)