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

Sélection Signaler une erreur
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

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00006818

[disponible]
Sélection Signaler une erreur