m
     
MathOuvrage

H 0 The Blind spot

H

Girard, Jean-Yves

European mathematical Society

2010

xiii, 537 p. ; 24 cm

9783037190883

46978

logique classique ; logique linéaire ; interaction ; théorie de la preuve

https://doi.org/10.4171/088


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 46978 1038627 GALERIE

Sous-titre : lectures on logic

Type de doc : M

Ville d'édition : Zürich

Pays d'édition : ch

Langue ouvrage : eng

Bibliographie : Bibliogr. p. 509-515

Class. Math. 2000 : 03-01 ; 03A05 ; 03B40 ; 03F03 ; 03F05 ; 03F07 ; 03F10 ; 03F20 ; 03F40 ; 03F52 ; 03F99 ; 18A15 ; 68Q05 ; 68Q10 ; 68Q12 ; 68Q15 ; 68Q55

Lien SUDOC : https://www.sudoc.fr/156223597

Z