Tableaukalkül und entscheidbare Formelklassen ein Beitrag zum Entscheidungsproblem der Logik

München, Univ., Diss., 1988

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bayerl, Stephan H.
Format:	UnknownFormat
Sprache:	ger
Schlagworte:	Prädikatenlogik > Tableau > Entscheidung > Entscheidbarkeit > Formel
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	München, Univ., Diss., 1988
Beschreibung:	V, 91 S. graph. Darst.