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

Zugl. überarb. Fass.: Berlin, Techn. Univ., Diplomarbeit

Bibliographische Detailangaben

1. Verfasser:	Wunsch, Matthias (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, Techn. Univ. 1996
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin 96-30
Schlagworte:	Forschungsbericht > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!