Countable Boolean Algebras and Decidability Sergei S. Goncharov

Autor: Harizanov, Valentina
Zdroj: The Journal of Symbolic Logic, 1998 Sep 01. 63(3), 1188-1190.
Databáze: JSTOR Journals