A Philosophical Introduction to Higher-order Logics

Andrew Bacon

  • First published 2023
  • 464 pages
  • English