m
MathOuvrage

H 0 Introduction to mathematical logic and type theory

Andrews, Peter B.

Academic press

1986

xv-304

23285

logique mathématique ; logique symbolique


Exemplaires

Nbre d'exemplaires : 1
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

Z