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

Exemplaires