A modal analysis of some principles fo the provability logic of heyting arthmetic

Authors
Publication date 1998
Book title Advances in modal logic
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back