Liste de favoris
La liste de favoris est vide.
Le panier est vide.
Envoi gratuit possible
Envoi gratuit possible
Veuillez patienter - l'impression de la page est en cours de préparation.
La boîte de dialogue d'impression s'ouvre dès que la page a été entièrement chargée.
Si l'aperçu avant impression est incomplet, veuillez le fermer et sélectionner "Imprimer à nouveau".

Concepts of Proof in Mathematics, Philosophy, and Computer Science

LivreRelié
Classement des ventes 71857dansPhilosophie
CHF163.00

Description

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 presents relevant conceptions and technical advances featuring 'proof' in those fields.

Détails

ISBN/GTIN978-1-5015-1080-9
Type de produitLivre
ReliureRelié
ÉditeurDe Gruyter
Date de parution25.07.2016
SérieISSN
No. de série6
Pages374 pages
LangueAnglais
DimensionsLargeur 160 mm, Hauteur 236 mm, Épaisseur 27 mm
Poids725 g
Groupe de produitsPhilosophie
CatégoriePhilosophie
Plus de détails

Série

Evaluations

Auteur

Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.

Plus de produits de Schuster, Peter

Editeur

Mot-clé

Recommandations

Recherches récentes