عنوان
پدید آورنده
موضوع
رده
QA 1 .N87 no.6
QA
1
.
N87
no
.
6
کتابخانه
محل استقرار
52313
آخر۲۷
English
)50(
Curry, Haskell Brooks
1900-
A theory of formal deducibility
Notre Dame
1950
ix, 126 p. 23 cm
Notre Dame mathematical lectures, no. 6
Bibliography: p. 123-126
، Logic, Symbolic and mathematical
QA
1
.
N87
no
.
6
AU
SE
05
