Foundations of mathematical logic
Main Author: | Curry, Haskell B. 1900- (Haskell Brooks) (Author) |
---|---|
Format: | Book |
Language: | English |
Published: |
New York
Dover Publications, Inc.
c1977
|
Subjects: |
Similar Items
-
Combinatory logic /
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1958) -
Logic for Mathematicians
by: Hamilton, A. G.
Published: (1988) -
Outlines of a formalist philosophy of mathematics
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1958) -
Constructibility
by: Devlin, Keith J.
Published: (1984) -
Theory of Deductive Systems and Its Applications
by: Maslov, S. Y.
Published: (1987)