Torthaí cuardaigh - Curry, Haskell B
- 1 - 2 toradh as 2 á dtaispeáint
-
1
A theory of formal deducibility de réir Curry, Haskell B
Foilsithe / Cruthaithe 1950Gairmuimhir: Ag lódáil…
Suíomh: Ag lódáil…LEABHAR Ag lódáil… -
2
Lógica combinatoria de réir Curry, Haskell B, Feys, Robert
Foilsithe / Cruthaithe 1967Gairmuimhir: Ag lódáil…
Suíomh: Ag lódáil…LEABHAR Ag lódáil…