Investigations on a calculus without contractions

Download
Abstract (PDF, 169.9Kb)
Fulltext (PDF, 2.235Mb)
Thumbnail
Closed access
Author
Mey, Daniel
Date
1992
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-000669688
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Engeler, Erwin
Examiner: Jäger, Gerhard
Publisher
ETH Zürich
Subject
PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK); ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK); ZWEIPERSONEN-NULLSUMMENSPIELE (SPIELTHEORIE); PREDICATE LOGIC (MATHEMATICAL LOGIC); DECISION PROBLEMS (MATHEMATICAL LOGIC); TWO-PERSON ZERO-SUM GAMES (GAME THEORY)
Notes
Diss. Math. Wiss. ETH Zürich, Nr. 9868, 1992. Ref.: E. Engeler ; Korref.: G. Jäger.
More
Show all metadata
ETH Bibliography
yes
Altmetrics