Proof methods for modal and intuitionistic logics
logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive
Ville d'édition : Boston ; Dordrecht ; Lancaster
Langue : Anglais
EAN13 : 9789027715739
ISBN : 90-277-1573-4
Collation : Bibliogr. ; Index ; viii#23 cm#rel.
Collection : Synthese library
N° de collection : 0169
Localisation : Ouvrage RdC (FITT)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00006818 | [disponible] |