Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.
2 Ebooks por Thomas Strahm
Giovanni Sommaruga & Thomas Strahm: Turing’s Revolution
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 contribution …
PDF
Inglês
€117.69
Reinhard Kahle & Thomas Strahm: Advances in Proof Theory
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 …
PDF
Inglês
€96.29
