Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln

München, Univ., Diss., 1976

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wirsing, Martin (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	1976
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	München, Univ., Diss., 1976
Beschreibung:	VI, 119 S.