Combinatory logic /
Κύριος συγγραφέας: | Curry, Haskell B. 1900- (Haskell Brooks) (συγγραφέας.) |
---|---|
Άλλοι συγγραφείς: | Feys, Robert, 1889- (συγγραφέας.) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1958-1972.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Foundations of mathematical logic
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1977) -
Outlines of a formalist philosophy of mathematics
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958) -
Introduction to combinatory logic /
ανά: Hindley, J. Roger
Έκδοση: (1972) -
A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001) -
Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)