عنوان
پدید آورنده
موضوع
رده
QA 9 .B395
QA
9
.
B395
کتابخانه
محل استقرار
English
A course in mathematical logic
Amsterdam, New York
North-Holland
1977
xviii, 599 p. ; 23 cm
Bibliography: p. 576-583
Bibliography: p. )576(-583
Includes indexes
by J. L. Bell and M. Machover
1
، Logic, Symbolic and mathematical
QA
9
.
B395
CA
511/
.
3
Bell, John Lane
AU
AU Machover, Moshe
TI
