1. Sentences undecidable in formalized arithmetic ; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
M6
2. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
