Mathematics
Logic
Scientist
Hiroshima University
A new function algebra of EXPTIME functions by safe nested recursion
A sneak preview of proof theory of ordinals
Bounded arithmetic AID for Frege system
Conservations of first-order reflections
Exact bounds on epsilon processes
No associations
LandOfFree
Toshiyasu Arai does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Toshiyasu Arai, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Toshiyasu Arai will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-105613