عنوان
پدید آورنده
موضوع
رده
QA 9 .K652
QA
9
.
K652
کتابخانه
محل استقرار
English
Mathematical logic
New York
Wiley
)1967(
xiii, 398 p. illus. 24 cm
Bibliography: p. 371-386
Bibliography: p. 371-386
Stephen Cole Kleene
1
، Mathematics - Philosophy
، Logic, Symbolic and mathematical
QA
9
.
K652
CA
510/
.
01
9091-
Kleene, Stephen Cole
AU
TI
