1. Explanation and Proof in Mathematics
المؤلف: \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
2. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
3. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Mathematics--Philosophy,Beweistheorie--swd,Philosophie--swd
رده :
QA
,
9
.
54
,.
E97
,
2010
4. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
5. Explanation and proof in mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Mathematics ; Philosophy. ; Beweistheorie ; swd. ; Philosophie ; swd. ;
6. Explanation and proof in mathematics: philosophical and educational perspectives
المؤلف: Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
7. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
المؤلف: edited by Alfred Driessen and Antoine Suarez
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
8. The age of alternative logics :
المؤلف: edited by Johan van Benthem ... [and others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
9. The age of alternative logics : assessing philosophy of logic and mathematics today
المؤلف: edited by Johan van Benthem... ]et al.[
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
10. The age of alternative logics: assessing philosophy of logic and mathematics today
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
