H Proof theory
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 12718 | 1021824 | GALERIE (Perdu 2009) [non empruntable] |
ISBN10 : 0-444-10492-5
Type de doc : M
Ville d'édition : Amsterdam
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
N° dans la collection : 081
ISSN Collection : 0049-237X
Class. Math. 1991 : 02-02 ; 02B10 ; 02B15 ; 02B25 ; 02D05 ; 02D99