Chapters on bounded arithmetic & on provability logic

Authors
  • D. Zambella
Supervisors
Cosupervisors
Publication date 1994
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type PhD thesis
Note Research conducted at: UvA
Permalink to this page
Back