Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011).

Journal article

Peer reviewed

Thomas Seiller and Christian Retoré

Gazette des Mathématiciens, Vol.142, pp.136-143

01/10/2014

Abstract

logique mathématique

théorie de la démonstration

épistémologie

03F03 03F05 03F07 03F52 03B15 03B22 03B47 03B70 03A05

url

Find in HALView

1 Record Views

Title: Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011).
Creators - without role: Thomas Seiller - Institut des Hautes Études Scientifiques
Christian Retoré - Exploration et exploitation de données textuelles
Publication Details: Gazette des Mathématiciens, Vol.142, pp.136-143
Identifiers: 9942464709311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: French
Resource Type: Journal article
Local Fields: hal-01076369