1. A theory of formal deducibility
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
N87
no
.
6
2. Combinatory logic
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
36
.
C8
3. Foundations of mathematical logic
Author: Curry, Haskell Brooks, 0091-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C97
4. Foundations of mathematical logic
Author: CURRY,HASKELL BROOKS
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
9
.
C85
5. Foundations of mathematical logic
Author: Curry, Haskell Brooks
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C85
1977
6. Foundations of mathematical logic
Author: Curry, Haskell B. )Haskell Brooks(, 0091-2891
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Logic, Symbolic and mathematical.
Classification :
BC
135
.
C8F6
7. Outlines of a formalist philosophy of mathematics
Author: Curry, Haskell Brooks
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Philosophy
Classification :
QA
8
.
4
.
C87
