Arturo Graziano Grappone
Ideas on Hyperincursive Proof Theory
Johan Vandycke
Thinking Machines : a Paraconsistent Evaluation of an Ab/use of the Gödel Theorems
