# 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

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe