The logic of the provability

Authors
Publication date 1998
Host editors
  • S. Buss
Book title Handbook of proof theory
Series -, -
Pages (from-to) 475-546
Publisher Amsterdam: North- Holland Elsevier
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note - Gebeurtenis: -
Permalink to this page
Back