Fragmente von "New Foundations" und Typentheorie

Download
Abstract (PDF, 374.5Kb)
Fulltext (PDF, 1.834Mb)
Thumbnail
Closed access
Author
Oswald, Urs
Date
1976
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-000077097
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Läuchli, Hans
Examiner: Specker, Ernst P.
Publisher
ETH Zürich
Subject
THEORIE DER TYPEN (MATHEMATISCHE LOGIK); THEORY OF TYPES (MATHEMATICAL LOGIC)
Notes
Diss. Math. ETH Zürich, Nr. 5666, 0000. Ref.: Specker, E.P. ; Korref.: Läuchli, H..
More
Show all metadata
ETH Bibliography
yes
Altmetrics