Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Girard, Jean-Yves (1947-....)  Voir les notices liées en tant qu'auteur

Titre(s) : The blind spot [Texte imprimé] : lectures on logic / Jean-Yves Girard

Publication : Zürich : European mathematical society, 2011

Description matérielle : 1 vol. (XII-537 p.) : ill. ; 24 cm

Comprend : Existence vs. essence ; Incompleteness ; Classical sequents: LK ; Intuitionistic logic: LJ, NJ ; Functional interpretations ; System F ; The category-theoretic interpretation ; Coherent spaces ; Linear logic ; Perfection vs. imperfection ; Proof-nets ; A hypothesis: polarisation ; Designs and behaviours ; Ludics: the reconstruction ; Orthodox exponentials ; Heterodox exponentials ; Quantum coherent spaces ; Nets and duality ; The feedback equation ; Babel Tower vs. Great Wall ; Finite GoI ; Envoi. The phantom of transparency.

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet
Logique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783037190883. - ISBN 3037190884 (rel.)

Identifiant de la notice  : ark:/12148/cb42681826k

Notice n° :  FRBNF42681826 (notice reprise d'un réservoir extérieur)