Prefer a chat interface with context about you and your work?
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996
During the term from 1991 to 1996 the alternation of generations has occurred in the logic society in Japan.The main reason of the alternation is the shift of the central concern in logic to new logical reasonings due to the advent of computer.By the request of the computer science many …