En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Proof methods for modal and intuitionistic logics

Bookmarks Report an error
Ouvrage

Fitting, Melvin (Principal)

D. Reidel Publisher Co.

1983

553 p.

978-90-277-1573-9

00006818

03A05 ; 03Bxx ; 03Cxx ; 03F55

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]
Bookmarks Report an error