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

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Wirsing, Martin (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: 1976
Schlagworte:
Herbrand-Satz > Prädikatenlogik > Hochschulschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:München, Univ., Diss., 1976
Beschreibung:VI, 119 S.