Logic/General logic
Subject Classification
AMS: Mathematical logic and foundations / General logic
2023
2022
Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
AMS: Mathematical logic and foundations / General logic