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