Sequent calculi for proof search in some modal logics

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)
ID: 270481400