PP-2023-07: Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for First-order Logic 1.Full Text, 2.Abstract. < Back
