1. Gödel nemteljességi tételei :
پدیدآورنده: Torkel Franzén.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt.,Axióma.,Gödel-tétel.,Halmazelmélet-- axiomatikus.,Matematika filozófiai problémái.,Matematikai logika.
2. Godel's theorem: an incomplete guide to its use and abuse
پدیدآورنده: Franzen, Torkel
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Godel's theorem,، Incompleteness theorems
رده :
QA
9
.
65
.
F73
2005
3. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده: by Torkel Franzen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
4. Provability and truth
پدیدآورنده: Torkel Franzén.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: ismeretelmélet,Logic.,Truth.
