DOI10.1093/jigpal/jzac054OpenAlexW4285804278MaRDI QIDQ6200769
Craig Smorynski
Publication date: 20 February 2024 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzac054
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX) Computer science (68-XX)
