عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L44 Vol.16
QA
9
.
A1L44
Vol
.
16
کتابخانه
محل استقرار
Inexhaustibility : a non-exhaustive treatment
Urbana, Ill.
Wellesley, Mass.
Association for Symbolic Logic
A K Peters
c2004
xi, 251 p
Lecture notes in logic; 61
Bibliography: p.243-244
ISBN: 1568811756
by Torkel Franzen
1
، Incompleteness theorems
، Logic, Symbolic and mathematical
، Mathematics -- Philosophy
QA
9
.
A1L44
Vol
.
16
Franzen, Torkel, 0591-
AU
TI
SE
