DOI10.1093/jigpal/jzac055MaRDI QIDQ6200772
John L. Bell
Publication date: 20 February 2024 Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX) Computer science (68-XX)