Title |
Die Rolle des Konstruktionsbegriffs im Verhältnis von formalen Spezifikationskalkülen und intuitionistischer Mathematik / Matthias Wunsch. Technische Universität Berlin, Fachbereich 13, Informatik |
|---|---|
Involved |
Matthias Wunsch (Verfasser) |
Published |
Berlin: Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |
Extent |
105 S. : graph. Darst. |
Topic |
|
Series |
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik : Bericht ... ; Bericht-Nr. [19]96,30 |
Record ID |
948866357 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: