عنوان
پدید آورنده
موضوع
رده
QA 9 .S684C6
QA
9
.
S684C6
کتابخانه
محل استقرار
A course on mathematical logic
New York
Springer
c2008
x, 140 p. 1 front ]port.[
Universitext
Bibliography: ]135[
ISBN: 0387762752
S.M. Srivastava
1
، Logic, Symbolic and mathematical
QA
9
.
S684C6
Srivastava, Shashi Mohan
AU
AU Godel, Kurt Friedrich, 1906-1978
TI
SE
