Strongly constructive models and numerations of the Boolean algebra of recursive sets

• 1 September 1971
• journal article
• research article
• Published by Springer Nature in Algebra and Logic
• Vol. 10  (5) , 332-345
• https://doi.org/10.1007/bf02219840

Abstract

Keywords

• MATHEMATICAL LOGIC
• BOOLEAN ALGEBRA
• CONSTRUCTIVE MODEL