From Collapse Theorems to Proof-Theoretic Arguments
From MaRDI portal
Publication:5889051
DOI10.26686/ajl.v20i1.6466WikidataQ123117606 ScholiaQ123117606MaRDI QIDQ5889051
Publication date: 26 April 2023
Published in: The Australasian Journal of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.26686/ajl.v20i1.6466
03-XX: Mathematical logic and foundations