Home Advanced Search

Advanced Search - Page 1

Advances in Proof Theory
Advances in Proof Theory
  • PDF
  • English
  • Year: 2016
  • Author: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)
Turing's Revolution: The Impact of His Ideas about Computability
Turing's Revolution: The Impact of His Ideas about Computability
  • PDF
  • English
  • Year: 2016
  • Author: Giovanni Sommaruga, Thomas Strahm (eds.)
Intensionality: Lecture Notes in Logic 22
Intensionality: Lecture Notes in Logic 22
  • PDF
  • English
  • Year: 2005
  • Author: Reinhard Kahle
Gentzen's Centenary, The Quest for Consistency
Gentzen's Centenary, The Quest for Consistency
  • PDF
  • English
  • Year: 2015
  • Author: Reinhard Kahle, Michael Rathjen (eds.)
The Legacy of Kurt Schütte
The Legacy of Kurt Schütte
  • PDF
  • English
  • Year: 2020
  • Author: Reinhard Kahle, Michael Rathjen
Turing's revolution. The impact of his ideas about computability
Turing's revolution. The impact of his ideas about computability
  • PDF
  • English
  • Year: 2016
  • Author: Sommaruga, Giovanni; Strahm, Thomas Adrian; Turing, Alan Mathison (eds.)