A Proof-Theoretic Treatment of Assignments

Authors
  • W. Wilfried Meyer Viol
Publication date 1995
Journal Bulletin of the IGPL
Volume | Issue number 3 | 2-3
Pages (from-to) 223-242
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back