publication venue for
- Extended frege and gaussian elimination. 31:189-205. 2002
- Boolean programs and quantified propositional proof systems. 28:119-129. 1999
- Kripke semantics for logics with BCK implication. 25:41-51. 1996
Bulletin of the Section of Logic
Journal
- Overview
- Identity
- View All
Overview
has subject area
- 2203 Philosophy (FoR)