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) -
Logic : techniques of formal reasoning /
by: Kalish, Donald
Published: (1980)