On Second-Order Logic

Author:
  • GBGeorge S. Boolos
    George S. Boolos

Abstract
No abstract available