Praedikatenlogik ohne gebundene Variablen

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bartnick, Juergen (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Frankfurt am Main, Bern, Cirencester/U.K. Lang 1980
Schriftenreihe:	Europäische Hochschulschriften / 20 61
Schlagworte:	Prädikatenlogik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!