H The Blind spot
2010
xiii, 537 p. ; 24 cm
9783037190883
46978
logique classique ; logique linéaire ; interaction ; théorie de la preuve
N° | 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