Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development

Research output: Contribution to journalSpecial issue

Authors

Colleges, School and Institutes

External organisations

  • Univ Oslo
  • Univ Calif Irvine
  • Univeristy of Bristol

Details

Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Volume56
Issue number1
Publication statusPublished - 2015