|Journal||IfCoLog Journal of Logics and their Applications|
|Publication status||Published - 2017|
Bibliographical noteThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
- Natural Deduction
- Isabelle Proof Assistant
- First-Order Logic
- Higher-Order Logic