Categorical models of first-order classical proofs

  • Richard McKinley

Student thesis: Doctoral Thesis › PhD

Date of Award2006
Original languageEnglish
Awarding Institution
  • University of Bath

Cite this

Documents

  • Thesis

    File: application/pdf, 20.9 MB

    Type: Thesis

'