Tableaukalkül und entscheidbare Formelklassen
Subtitle: ein Beitrag zum Entscheidungsproblem der Logik
Published: 1988
Place of publication: München
Language: ger
Number of pages: 91
Notes: Diss. : München