Juichi Shinoda

• Mathematical Logic and Applications
• On the theory of the polynomial degrees of the recursive sets