Investigations on a calculus without contractions

Metadata Label Value
Author(s): Mey, Daniel
Publisher: Unknown
Citation:

Mey, Daniel. Investigations on a calculus without contractions. (1992). http://dx.doi.org/10.3929/ethz-a-000669688

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (169.92KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Investigations on a calculus without contractions
Author(s) Mey, Daniel
Publication Place Zürich
Publication Date 1992
Notes Diss. Math. Wiss. ETH Zürich, Nr. 9868, 1992. Ref.: E. Engeler ; Korref.: G. Jäger
Language English
DOI http://dx.doi.org/10.3929/ethz-a-000669688
Subject(s) Fundamental Bases, Logic, Philosophy of Mathematics
Keyword(s) PREDICATE LOGIC
MATHEMATICAL LOGIC
DECISION PROBLEMS
TWO-PERSON ZERO-SUM GAMES
GAME THEORY
Description File Name MIME Type Size
Abstract   eth-38823-01.pdf application/pdf 169.92KB
Abstract Views and Downloads
Views 48  abstracts
Downloads 42  downloads

Abstract Views and Downloads by Country
Views 19  abstracts
Downloads 14  downloads
Germany Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
China Views 13  abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Slovenia Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 13:28:10 CET