Thomas Strahm – författare
Visar alla böcker från författaren Thomas Strahm. Handla med fri frakt och snabb leverans.
6 produkter
Turing’s Revolution
The Impact of His Ideas about Computability
Av Giovanni Sommaruga, Thomas Strahm
Inbunden, 2016
1316 kr
Lägg i varukorg
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 …
Turing's Revolution
The Impact of His Ideas about Computability
Av Thomas Strahm, Giovanni Sommaruga
E-bok, 2016
1793 kr
Lägg i varukorg
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 …
Advances in Proof Theory
Av Reinhard Kahle, Thomas Strahm m. fl.
Inbunden, 2016
1098 kr
Lägg i varukorg
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 …
Advances in Proof Theory
Av Thomas Studer, Thomas Strahm m. fl.
E-bok, 2016
1420 kr
Lägg i varukorg
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 …
Turing’s Revolution
The Impact of His Ideas about Computability
Av Giovanni Sommaruga, Thomas Strahm
Häftad, 2018
1316 kr
Lägg i varukorg
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 …
Advances in Proof Theory
Av Reinhard Kahle, Thomas Strahm m. fl.
Häftad, 2018
1098 kr
Lägg i varukorg
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 …
