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
