> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Untersuchungen zur Konstruktivität des Bar-Theorems (Brouwer 1954) Beteiligte: Gunderson, Dörte [Verfasser:in] Erschienen: 1990 Umfang: I, 111 S.; graph. Darst Sprache: Deutsch Schlagwörter: Bar-Theorem Intuitionistische Logik > Entscheidbarkeit Beweistheorie Brouwer, Luitzen E. J. > Bar-Theorem Entstehung: Hochschulschrift: Hamburg, Univ., Diss., 1990 Anmerkungen:
Zentralbibliothek – Magazin Signatur: 64.8.12745 Barcode: 30482748 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.