Teaching Higher-Order Logic Using Isabelle - Simon Tobias Lund; Villadsen, Jørgen (arXiv.org, 2024)
Keywords: Axioms; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; Logic