Ideas on Hyperincursive Proof Theory
p. 293-302
Résumé
This paper describes the possibility of incursive proof in classical formal theory.
Index
Texte
Citer cet article
Référence papier
Arturo G. Grappone, « Ideas on Hyperincursive Proof Theory », CASYS, 8 | 2001, 293-302.
Référence électronique
Arturo G. Grappone, « Ideas on Hyperincursive Proof Theory », CASYS [En ligne], 8 | 2001, mis en ligne le 12 July 2024, consulté le 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1452
Auteur
Arturo G. Grappone
Correspondent of Italian Red Cross, International Review « Metalogicon », Piazza Albania, 6, 00153 Roma, Italy