Marginalia on the sequent calculus

Authors
Publication date 1998
Series ML-1998, 01
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Note ILLC
Permalink to this page
Back