Browsing by Author Goris, Evan
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
Mar-2020 | Two new series of principles in the interpretability logic of all reasonable arithmetical theories | Goris, Evan; Joosten, Joost J. |