Toshiyasu Arai – författare
Visar alla böcker från författaren Toshiyasu Arai. Handla med fri frakt och snabb leverans.
7 produkter
Ordinal Analysis with an Introduction to Proof Theory
Inbunden, 2020
1098 kr
Lägg i varukorg
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 also addresses ordinal analysis and basic …
Ordinal Analysis with an Introduction to Proof Theory
E-bok, 2020
947 kr
Lägg i varukorg
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 also addresses ordinal analysis and basic …
Ordinal Analysis with an Introduction to Proof Theory
Häftad, 2021
771 kr
Lägg i varukorg
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 also addresses ordinal analysis and basic …
Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Av Toshiyasu Arai, Makoto Kikuchi m. fl.
Inbunden, 2022
1752 kr
Lägg i varukorg
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 May 10, 2017, at the age of 91.Takeuti was one of …
Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Av Teruyuki Yorioka, Mitsuhiro Okada m. fl.
E-bok, 2022
2274 kr
Lägg i varukorg
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 May 10, 2017, at the age of 91. Takeuti was one of …
Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Av Toshiyasu Arai, Makoto Kikuchi m. fl.
Häftad, 2023
1752 kr
Lägg i varukorg
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 May 10, 2017, at the age of 91.Takeuti was one of …
PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY
Av Arai Toshiyasu, Toshiyasu Arai m. fl.
Inbunden, 2011
1498 kr
Lägg i varukorg
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 National University of Singapore, in honor of …
