Structurele Bewijstheorie

Authors
Publication date 1995
Journal Verslagen van de Afdeling Natuurkunde van de KNAW
Volume | Issue number 104 | 7
Pages (from-to) 113-117
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back