1. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
2. Proof, logic, and formalization
پدیدآورنده : / edited by Michael Detlefsen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع :
رده :
E-BOOK
3. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
