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

Publisher City : Warsawa

Publisher country : Pologne

Language : English

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

Series : Monografie matematyczne

Nb in series : 0041

Location : Ouvrage RdC (RASI)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies