CASYS
International Journal of Computing Anticipatory Systems
Arturo G. Grappone
Ideas on Hyperincursive Proof Theory