Explorations and Computations in bidirectional intuitionistic propositional Logic

Authors
Publication date 2004
Book title Liber Amicorum voor Dick de Jongh
Event Zestigste verjaardag Dick de Jongh
Publisher Amsterdam: Amsterdam University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back