عنوان

Proof, logic, and formalization

پدید آورنده

edited by Michael Detlefsen

موضوع

، Proof theory,، Logic, Symbolic and mathematical

رده

QA

9
.
54
.
P75

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

تماس با کتابخانه : 22291812-021

Proof, logic, and formalization

London

Routledge

c1992

x, 241 p.

Includes bibliographies

ISBN: 0415023351

edited by Michael Detlefsen

1

2

، Proof theory

، Logic, Symbolic and mathematical

QA

9

.

54

.

P75

CA

TI

AU Detlefsen, Michael, 1948-

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها

عنوان Proof, logic, and formalization

پدید آورنده edited by Michael Detlefsen

موضوع ، Proof theory,، Logic, Symbolic and mathematical

رده QA 9.54 .P75