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

Main
Society, Politics & Philosophy
Concepts of Proof in Mathematics,...

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Name: Concepts of Proof in Mathematics, Philosophy, and Computer Science
ISBN: 9781501510809

Dieter Probst, Peter Schuster (eds)

0 / 0

2 comments

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

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.

Kategoriler:

Society, Politics & Philosophy

Yıl:

2016

Yayımcı:

De Gruyter

Dil:

english

Sayfalar:

374

ISBN 10:

1501510800