Characterizing Second Order Logic with First Order Quantifiers

• 1 January 1979
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 25  (25-29) , 419-422
• https://doi.org/10.1002/malq.19790252507

Abstract

Keywords

• FIRST ORDER
• SECOND ORDER