Found: 1
Select item for more details and to access through your institution.
A sequent calculus for first-order logic formalized in Isabelle/HOL.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 818, doi. 10.1093/logcom/exad013
- By:
- Publication type:
- Article