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 studer”
Skip side bar filters

  • Logic, Language, Information, and Computation

    30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings

    Edited by George Metcalfe, Thomas Studer, Ruy de Queiroz ...
    Series series Springer Nature Proceedings Computer Science
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also ... Read more

    $62.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