Erweiterte
Suche ›

Concepts of Proof in Mathematics, Philosophy, and Computer Science

von
De Gruyter,
E-Book ( PDF mit Adobe DRM )
In Ihrem Land nicht verfügbar

Kurzbeschreibung

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.

Details

Titel: Concepts of Proof in Mathematics, Philosophy, and Computer Science
Aus der Reihe: Ontos Mathematical Logic

ISBN/EAN: 9781501502620

Seitenzahl: 384
Produktform: E-Book
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht