عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L44 Vol.10
QA
9
.
A1L44
Vol
.
10
کتابخانه
محل استقرار
Aspects of incompleteness
Berlin
Springer-Verlag
c1997
x, 132 p
Lecture notes in logic; 01
Bibliography: p.]125[-129
ISBN 3540632131
Per Lindstrom
1
، Incompleteness theorems
، Recursion theory
QA
9
.
A1L44
Vol
.
10
Lindstrom, Per, 6391-
AU
TI
TI Incompleteness
SE
