Weese, Martin Ein neuer Beweis für die Entscheidbarkeit der Theorie der Booleschen Algebren. (German) Zbl 0423.03007 Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 26, 663-667 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B25 Decidability of theories and sets of sentences Keywords:theory of Boolean algebras; Ehrenfeucht games × Cite Format Result Cite Review PDF