Merkliste 
 1 Ergebnisse 
 
1

CALCULUSES AND FORMAL SYSTEMS:

Curry, Haskell B.
Dialectica.  12 (1958)  3/4 - p. 249-273 , 1958