Produktbild
Toshiyasu (Hrsg.) Arai

Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Buch

¿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 the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjectu… Mehr

CHF 192.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Kikuchi, Makoto (Hrsg.) / Kuroda, Satoru (Hrsg.) / Okada, Mitsuhiro (Hrsg.) / Yorioka, Teruyuki (Hrsg.)
  • ISBN: 978-981-1641-72-5
  • EAN: 9789811641725
  • Produktnummer: 36787678
  • Verlag: Springer Nature Singapore
  • Sprache: Englisch
  • Erscheinungsjahr: 2022
  • Seitenangabe: 244 S.
  • Masse: H24.1 cm x B16.0 cm x D1.8 cm 580 g
  • Auflage: 1st ed. 2021
  • Abbildungen: HC runder Rücken kaschiert
  • Gewicht: 580

1 weiteres Werk von Toshiyasu (Hrsg.) Arai:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.