Home Advanced Search

Advanced Search - Page 1

Turing's Revolution: The Impact of His Ideas about Computability
  • PDF
  • English
  • Year: 2016
  • Author: Giovanni Sommaruga, Thomas Strahm (eds.)
Turing's revolution. The impact of his ideas about computability
  • PDF
  • English
  • Year: 2016
  • Author: Sommaruga, Giovanni; Strahm, Thomas Adrian; Turing, Alan Mathison (eds.)
Foundational theories of classical and constructive mathematics
  • PDF
  • English
  • Year: 2011
  • Author: Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
Advances in Proof Theory
  • PDF
  • English
  • Year: 2016
  • Author: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)
History and Philosophy of Constructive Type Theory
  • PDF
  • English
  • Year: 2000
  • Author: Giovanni Sommaruga (auth.)
Axiomatic Thinking I
  • PDF
  • English
  • Year: 2022
  • Author: Fernando Ferreira (editor), Reinhard Kahle (editor), Giovanni Sommaruga (editor)
New Perspectives in Medical Records: Meeting the Needs of Patients and Practitioners
  • PDF
  • English
  • Year: 2017
  • Author: Giovanni Rinaldi (eds.)
Environmental Applications of Mechanics and Computer Science: Proceedings of CISM 30th Anniversary Conference Udine, May 29, 1999
  • PDF
  • English
  • Year: 1999
  • Author: Giovanni Bianchi (eds.)
Georgie and Elsa: Jorge Luis Borges and His Wife: The Untold Story
  • MOBI
  • English
  • Year: 2014
  • Author: Giovanni, Norman Thomas di
One Century of Karl Jaspers' General Psychopathology
  • PDF
  • English
  • Year: 2013
  • Author: Stanghellini, Giovanni; Fuchs, Thomas
search