Ideas on Hyperincursive Proof Theory
p. 293-302
Abstract
This paper describes the possibility of incursive proof in classical formal theory.
Index
Text
References
Bibliographical reference
Arturo Graziano Grappone, « Ideas on Hyperincursive Proof Theory », CASYS, 8 | 2001, 293-302.
Electronic reference
Arturo Graziano Grappone, « Ideas on Hyperincursive Proof Theory », CASYS [Online], 8 | 2001, Online since 10 October 2024, connection on 10 January 2025. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1452
Author
Arturo Graziano Grappone
Correspondent of Italian Red Cross, International Review « Metalogicon », Piazza Albania, 6, 00153 Roma, Italy