- Version
- Download 50
- File Size 225.13 KB
- File Count 1
- Create Date 8 June 2021
- Last Updated 8 June 2021
On the Use of Isabelle/HOL for Formalizing New Concise Axiomatic Systems for Classical Propositional Logic
Asta Halkjær From and Jørgen Villadsen
Asta Halkjær From and Jørgen Villadsen
Leave a Comment