# Logic/General logic/Classical first-order logic

## Subject Classification

AMS: Mathematical logic and foundations / General logic / Classical first-order logic

## 2023

## 2022

##### A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From and Frederik Krogsdal Jacobsen