m
     
MathOuvrage

H 0 Mathematical logic

Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang

Springer

2021

ix, 304 p. ; 24 cm

9783030738389

50023

logique mathématique ; logique symbolique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 50023 1042059 GALERIE

Type de doc : M

N° édition : 3rd edition

Ville d'édition : Cham

Pays d'édition : ch

Langue ouvrage : eng

Collection : Graduate texts in mathematics

N° dans la collection : 291

ISSN Collection : 0072-5285

Bibliographie : Bibliogr. p. 291-292

Class. Math. 2000 : 13-01 ; 03B10 ; 03B25 ; 03B30 ; 03D05 ; 03D10 ; 03F40 ; 68N17

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

Z