<<Die>> Rolle des Konstruktionsbegriffs im Verhältnis von formalen Spezifikationskalkülen und intuitionistischer Mathematik

Berlin, Techn. Univ., Diplomarbeit, 1996

Bibliographische Detailangaben

1. Verfasser:	Wunsch, Matthias (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin Leiter der Fachbibl. Informatik 1996
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin, Fachbereich 13, Informatik 96,30
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!