FrançaisProof methods for modal and intuitionistic logics
Ouvrage
logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive
Publisher City : Boston ; Dordrecht ; Lancaster
Language : English
EAN13 : 9789027715739
ISBN : 90-277-1573-4
Collation : Bibliogr. ; Index ; viii#23 cm#rel.
Series : Synthese library
Nb in series : 0169
Location : Ouvrage RdC (FITT)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00006818 | [available] |
