m
MathOuvrage

H 0 Justification logic

Artemov, Sergei ; Fitting, Melvin Chris

Cambridge university Press

2019

xxi, 247 p. ; 24 cm

9781108424912

49706

logique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 49706 1041740 GALERIE

Sous-titre : reasoning with reasons

Type de doc : M

Ville d'édition : Cambridge

Pays d'édition : gb

Langue ouvrage : eng

Collection : Cambridge tracts in mathematics

N° dans la collection : 216

ISSN Collection : 0950-6284

Bibliographie : Bibliogr. p. 234-243

Class. Math. 2000 : 03-02 ; 03B45 ; 03B60

Class. Library : QA9 .A78

N° LCCCN : 2018058431

Class. Dewey : 511.3

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

Z