21
22
23
25
27
30
32
33
Platzer, André
2021
Table of Contents:
“...Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz...”2021
Full text
34
36
39