Patrick Blackburn
- Pure Extensions, Proof Rules, and Hybrid Axiomatics
2006/11/08 by Patrick Blackburn, P. Blackburn, Balder ten Cate +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems