1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
2. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
3. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: (طهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
4. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: (طهران)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
5. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
6. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
7. Kurt Godel : essays for his centennial
پدیدآورنده : edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
