Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Artikeln
Propositions as games as types
1988
Aarne Ranta
Synthese 76/3
