Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 2 of 2 results for “thomas strahm”
Skip side bar filters

  • Turing’s Revolution

    The Impact of His Ideas about Computability

    Edited by Giovanni Sommaruga, Thomas Strahm ...
    Series series Mathematics and Statistics (R0)
    This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence ... Read more

    $116.99 USD

  • Advances in Proof Theory

    Edited by Thomas Studer, Reinhard Kahle, Thomas Strahm ...
    Series series Mathematics and Statistics (R0)
    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of ... Read more

    $98.99 USD