Modellkonstruktion in konstruktiven logischen Theorien

Bibliographische Detailangaben

1. Verfasser:	Weber, Franz (VerfasserIn)
Körperschaft:	Fakultät für Informatik, Universität Karlsruhe (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Karlsruhe 1986
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!