?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 at Urbana-Champaign, USA, before he passed away on M...Daugiau...
?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 at Urbana-Champaign, USA, before he passed away on M...Daugiau...
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 theoretic content of formal theories. However, the book...Daugiau...
Byunghan Kim, Toshiyasu Arai, Yue Yang, Guohua Wu, Qi Feng
(Išleidimo metai: 10-Aug-2011, PDF+DRM, Leidėjas: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814458450)
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. The 11th Asian Logic Conference was held at the Nati...Daugiau...
Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono, Toshiyasu Arai, Jorg Brendle
(Išleidimo metai: 01-Dec-2009, PDF+DRM, Leidėjas: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814465960)
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, inc...Daugiau...
