General Proof Theory of Classical Propositional Logic: Onze Size Fits All

Authors
  • A.M. Tamminga
Publication date 1998
Book title Proceedings Accolade{97
Pages (from-to) 84-96
Publisher Amsterdam: Dutch Graduate School in Logic
Organisations
  • Faculty of Humanities (FGw)
Document type Chapter
Permalink to this page
Back