Skip to content Skip to main menu Skip to search

Keywords – decidability

Arturo Graziano Grappone
Ideas on Hyperincursive Proof Theory
Corine Ceola
An Introduction to the Computation Model of Blum, Shub and Smale