Categorical models of first-order classical proofs

  • Richard McKinley

Student thesis: Doctoral ThesisPhD

Abstract

Date of Award2006
Original languageEnglish
Awarding Institution
  • University of Bath

Cite this

'