TY - BOOK AU - Ponasse, D. AU - Carrega, J. C. TI - Algebre et Topologie Booleennes / U1 - 511.3 PY - 1979/// CY - Paris PB - Masson KW - Mathematical logic (Symbolic logic) ER -