Счётные булевы алгебры и разрешимость

Введение в логику и методологию науки