Home Advanced Search

Advanced Search - Page 1

The Legacy of Kurt Schütte
  • PDF
  • English
  • Year: 2020
  • Author: Reinhard Kahle, Michael Rathjen
Gentzen's Centenary, The Quest for Consistency
  • PDF
  • English
  • Year: 2015
  • Author: Reinhard Kahle, Michael Rathjen (eds.)
Intensionality: Lecture Notes in Logic 22
  • PDF
  • English
  • Year: 2005
  • Author: Reinhard Kahle
Color Atlas of Human Anatomy, Vol. 3: Nervous System and Sensory Organs
  • EPUB
  • English
  • Year: 2015
  • Author: Werner Kahle, Michael Frotscher
3. Sistema nervoso e organi di senso
  • PDF
  • Italian
  • Year: 2016
  • Author: Werner Kahle - Michael Frotscher
Advances in Proof Theory
  • PDF
  • English
  • Year: 2016
  • Author: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.)
Axiomatic Thinking I
  • PDF
  • English
  • Year: 2022
  • Author: Fernando Ferreira (editor), Reinhard Kahle (editor), Giovanni Sommaruga (editor)
Mathematics for Computation (M4C)
  • PDF
  • English
  • Year: 2023
  • Author: Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Handbook of Constructive Mathematics
  • PDF
  • English
  • Year: 2023
  • Author: Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
search