http://popups.lib.uliege.be/1373-5411/index.php?id=1452 This paper describes the possibility of incursive proof in classical formal theory. Full text issues Volume 8 Anticipatory Systems, Mathematical Models, Logic, ... fr 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 0