Outlines of a formalist philosophy of mathematics
| Main Author: | Curry, Haskell B. 1900- (Haskell Brooks) |
|---|---|
| Format: | Book |
| Language: | Greek |
| Published: |
Amsterdam
North - Holland Publishing Company
1958
|
| Subjects: |
Similar Items
-
Foundations of mathematical logic
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1977) -
Combinatory logic /
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1958) -
A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001) -
A course in mathematical logic for mathematicians /
by: Manin, IU I.
Published: (1977) -
Mathematical logic a course with exercises
by: Cori, Rene