Merkliste 
 1 Ergebnisse 
 
1

Two examples of algorithms:

Curry, Haskell B.
Archiv für Mathematische Logik und Grundlagenforschung.  7 (1964)  1-2 - p. 29-44 , 1964