algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis

Ville d'édition : Warsawa

Pays d'édition : Pologne

Langue : Anglais

Collation : 25 cm#rel. ; Bibliogr. Pp. 489-501 ; Index

Collection : Monografie matematyczne

N° de collection : 0041

Localisation : Ouvrage RdC (RASI)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires