Øgaard, Tore Fjetland, University of Bergen, Norway
-
The Australasian Journal of Logic Vol. 18 No. 2 (2021): The Australasian Journal of Logic - Logic
From Hilbert proofs to consecutions and back
Abstract PDF -
The Australasian Journal of Logic Vol. 20 No. 2 (2023): The Australasian Journal of Logic - Articles
Relevance through topical unconnectedness
Abstract PDF