Concepts of Proof in Mathematics, Philosophy, and Computer...

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst, Peter Schuster (eds)
كم أعجبك هذا الكتاب؟
ما هي جودة الملف الذي تم تنزيله؟
قم بتنزيل الكتاب لتقييم الجودة
ما هي جودة الملفات التي تم تنزيلها؟
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields.
عام:
2016
الناشر:
De Gruyter
اللغة:
english
الصفحات:
374
ISBN 10:
1501510800
ISBN 13:
9781501510809
سلسلة الكتب:
Ontos Mathematical Logic, Volume 6
ملف:
PDF, 10.74 MB
IPFS:
CID , CID Blake2b
english, 2016
إقرأ علي الإنترنت
جاري التحويل إلى
التحويل إلى باء بالفشل

أكثر المصطلحات والعبارات المستخدمة