عنوان
پدید آورنده
موضوع
رده
QA 9.65 .S65 2007
QA
9
.
65
.
S65
2007
کتابخانه
محل استقرار
eng
An introduction to Godel's Theorems
Cambridge, UK ; New York
Cambridge University Press
Cambridge introductions to philosophy
Includes bibliographical references )p. 344-355( and index
Peter Smith
، Gdel, Kurt
، Gdel numbers
، Logic, Symbolic and mathematical
QA
9
.
65
.
S65
2007
5391-
Smith, Peter
AU
TI
SE
