H Introduction to mathematical logic and type theory
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 23285 | 1004545 | GALERIE |
Sous-titre : to truth through proof
ISBN10 : 0-12-058536-7
Type de doc : M
Ville d'édition : New York
Langue ouvrage : eng
Collection : Computer science and applied mathematics
Class. Math. 1991 : 03-01
Lien SUDOC : https://www.sudoc.fr/012684473