Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
DOI:
10.4204/eptcs.419.5
Publication Date:
2025-05-07T11:30:39Z
AUTHORS (1)
ABSTRACT
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (0)
CITATIONS (0)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....