Basic Proof Theory (ed. 2)

Authors
Publication date 2000
Publisher Cambridge: Cambridge University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Book
Permalink to this page
Back