Författare: Toshiyasu Arai

Stöd

3 E-böcker av Toshiyasu Arai

Byunghan Kim & Toshiyasu Arai: PROC OF THE 11TH ASIAN LOGIC CONF
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. T …
PDF
Engelska
DRM
€159.99
Toshiyasu Arai: Ordinal Analysis with an Introduction to Proof Theory
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theor …
PDF
Engelska
DRM
€70.17
Toshiyasu Arai & Makoto Kikuchi: Advances in Mathematical Logic
​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois a …
PDF
Engelska
€160.49