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 G. Grappone, « Ideas on Hyperincursive Proof Theory », CASYS, 8 | 2001, 293-302.
Electronic reference
Arturo G. Grappone, « Ideas on Hyperincursive Proof Theory », CASYS [Online], 8 | 2001, Online since 12 July 2024, connection on 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1452
Author
Arturo G. Grappone
Correspondent of Italian Red Cross, International Review « Metalogicon », Piazza Albania, 6, 00153 Roma, Italy