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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00006818 | [available] |