Hajime Ishihara

1. Markov's principle, Church's thesis and Lindelöf's theorem
   1993/01/01 by Hajime Ishihara · 1 citation
   Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Constraint Satisfaction and Optimization