Justification logic:
reasoning with reasons
Artemov, Sergei (Principal) ; Fitting, Melvin (Co-auteur)
2019
xxi; 247 p.
978-1-108-42491-2
00040606
logique mathématique # logique de la justification # raisonnement # théorie de la connaissance # logique modale # logique intuitionniste
Ville d'édition : Cambridge ; New York
Pays d'édition : Grande-Bretagne ; États-Unis
Langue : Anglais
EAN13 : 9781108424912
ISSN : 0950-6284
Collation : 23 cm#rel.#index
Collection : Cambridge tracts in mathematics
N° de collection : 0216
Localisation : Collection 1er étage
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00040606 | [disponible] |