R-Mingle is Nice, and so is Arnon Avron

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_7 ◽

2021 ◽

pp. 141-165

Author(s):

J. Michael Dunn

Download Full-text