Ohcanbohtosat - Curry, Haskell B
- Čájehuvvo 1 - 2 / 2
-
1
A theory of formal deducibility Dahkki Curry, Haskell B
Almmustuhtton 1950Hildobáiki: Láddejuvvo…
Sajádat: Láddejuvvo…Girji Láddejuvvo… -
2
Lógica combinatoria Dahkki Curry, Haskell B, Feys, Robert
Almmustuhtton 1967Hildobáiki: Láddejuvvo…
Sajádat: Láddejuvvo…Girji Láddejuvvo…