Short proofs for tricky formulas

• 1 August 1985
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 22  (3) , 253-275
• https://doi.org/10.1007/bf00265682

Abstract

Keywords

• ARGUMENTS
• RAMSEY
• STATEMENTS
• TRICKY
• FORMAL PROOFS
• ASSERTS
• TAUTOLOGIES
• PRINCIPLE OF SYMMETRY