عنوان
پدید آورنده
موضوع
رده
QA 8.4 .C87
QA
8
.
4
.
C87
کتابخانه
محل استقرار
English
Outlines of a formalist philosophy of mathematics
Amsterdam
North-Holland Pub. Co.
1951
vii, 75 p. 23 cm
Studies in logic and the foundations of mathematics
Includes bibliographical references
)by( Haskell B. Curry
1
، Mathematics - Philosophy
QA
8
.
4
.
C87
CA
510/
.
1
0091-
Curry, Haskell Brooks
AU
TI
SE
