Boolean negation and non-conservativity III: the Ackermann constant
From MaRDI portal
Publication:5020361
DOI10.1093/jigpal/jzaa021zbMath1494.03057OpenAlexW3043269845MaRDI QIDQ5020361
Publication date: 5 January 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/11250/2739126
Related Items