عنوان
پدید آورنده
موضوع
رده
QA 9 .A64
QA
9
.
A64
کتابخانه
محل استقرار
34907
English
Andrews, Peter Bruce
7391-
A transfinite type theory with type variables
Amsterdam
North-Holland Pub. Co.
1965
xv, 143 p. 23 cm
Studies in logic and the foundations of mathematics
Bibliography: p. 141
by P.B. Andrews
، Type theory
QA
9
.
A64
AU
TI
SE
یاضه ریه دانشکدانابخکت
