عنوان
پدید آورنده
موضوع
رده
QA .B3953 9
QA
.
B3953
9
کتابخانه
محل استقرار
A course in mathematical logic
by J. L. Bell and M. Machover
Amsterdam, New York
North-Holland Pub. Co., sole distributors for the U.S.A. and Canada American Elsevier Pub. Co
.1977
xviii, 599 p. ; 23 cm
Includes indexes
Bibliography: p. )576(-583
Logic, Symbolic and mathematical
QA
9
.
B3953
Bell, John Lane
Title
Machover, Moshe
joint author
English Book
