CASYS
International Journal of Computing Anticipatory Systems
Johan Vandycke
Thinking Machines : a Paraconsistent Evaluation of an Ab/use of the Gödel Theorems
Arturo G. Grappone
Ideas on Hyperincursive Proof Theory