Realizability

Authors
Publication date 1998
Host editors
  • S. Buss
Book title Handbook of proof theory
ISBN
  • -
Series -, -
Pages (from-to) ---
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