proof theory http://popups.lib.uliege.be/1373-5411/index.php?id=1453 Index terms fr 0 Ideas on Hyperincursive Proof Theory http://popups.lib.uliege.be/1373-5411/index.php?id=1452 This paper describes the possibility of incursive proof in classical formal theory. Fri, 12 Jul 2024 14:22:57 +0200 Thu, 10 Oct 2024 10:33:12 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1452