Distributive Normal Forms in First-Order Logic

• 1 January 1965
• book chapter
• Published by Elsevier in Studies in Logic and the Foundations of Mathematics
• Vol. 40, 48-91
• https://doi.org/10.1016/s0049-237x(08)71684-7

Abstract

Keywords

• ORDER LOGIC
• NORMAL FORMS
• CHAPTER
• DISTRIBUTIVE
• STRUCTURE
• TREATMENT