| No. | Title | Author | Year |
|---|---|---|---|
| 1 | A Succinct Formalization of the Completeness of First-Order Logic | From, Asta Halkjær | 2022 |
| 2 | Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL | From, Asta Halkjær et al. | 2022 |
| 3 | Synthetic Completeness for a Terminating Seligman-Style Tableau System | From, Asta Halkjær | 2021 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 3 |