Restricted theories of constructive Boolean algebras
暂无分享，去创建一个
[1] Ю.Л. Ершов,et al. Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров , 1964 .
[2] M. G. Peretyat'kin. Strongly constructive models and numerations of the Boolean algebra of recursive sets , 1971 .
[3] S. S. Goncharov,et al. Some properties of the constructivization of Boolean algebras , 1975 .
[4] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .