Որոնման արդյունքները - Curry, Haskell B
- Ցուցադրվում են 1 - 2 արդյունքները 2
-
1
A theory of formal deducibility Curry, Haskell B
Հրապարակվել է 1950Դասիչ: Բեռնվում է…
Տեղակայված է: Բեռնվում է…Գիրք Բեռնվում է… -
2
Lógica combinatoria Curry, Haskell B, Feys, Robert
Հրապարակվել է 1967Դասիչ: Բեռնվում է…
Տեղակայված է: Բեռնվում է…Գիրք Բեռնվում է…