Computer-Implemented Set Theory

DOI10.2307/2321427MaRDI QIDQ3905286zbMATH OpenOpenAlexFDO

Authors Dale E. Watts, J. K. Cohen

Publication date 1980

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2321427

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of Boolean algebras (03G05) Software, source code, etc. for problems pertaining to information and communication theory (94-04) Set theory (03Exx) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited in

(2)

• Refutational theorem proving using term-rewriting systems
• Unification in Boolean rings

This page was built for publication: Computer-Implemented Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3905286)