Combinatory logic /
Main Author: | Curry, Haskell B. 1900- (Haskell Brooks) (συγγραφέας.) |
---|---|
Other Authors: | Feys, Robert, 1889- (συγγραφέας.) |
Format: | Book |
Language: | English |
Published: |
Amsterdam :
North-Holland,
1958-1972.
|
Series: | Studies in logic and the foundations of mathematics
|
Subjects: |
Similar Items
-
Foundations of mathematical logic
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1977) -
Outlines of a formalist philosophy of mathematics
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1958) -
Introduction to combinatory logic /
by: Hindley, J. Roger
Published: (1972) -
A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001) -
Modal logic an introduction
by: Chellas, Brian F.
Published: (1995)