Home Advanced Search

Advanced Search - Page 1

History and Philosophy of Constructive Type Theory
  • DJVU
  • English
  • Year: 2010
  • Author: Giovanni Sommaruga
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
  • PDF
  • English
  • Year: 2009
  • Author: Giovanni Sommaruga (auth.), Giovanni Sommaruga (eds.)
History and Philosophy of Constructive Type Theory
  • PDF
  • English
  • Year: 2000
  • Author: Giovanni Sommaruga (auth.)
Turing's Revolution: The Impact of His Ideas about Computability
  • PDF
  • English
  • Year: 2016
  • Author: Giovanni Sommaruga, Thomas Strahm (eds.)
Foundational theories of classical and constructive mathematics
  • PDF
  • English
  • Year: 2011
  • Author: Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
Foundational theories of classical and constructive mathematics
  • PDF
  • English
  • Year: 2011
  • Author: Geoffrey Hellman* (auth.), Giovanni Sommaruga (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.)
Axiomatic Thinking I
  • PDF
  • English
  • Year: 2022
  • Author: Fernando Ferreira (editor), Reinhard Kahle (editor), Giovanni Sommaruga (editor)
Fundamentals of Human Physiology
  • PDF
  • English
  • Year: 2019
  • Author: Giovanni Cavagna; Giovanni Cavagna
The Italian Pragmatists: Between Allies and Enemies
  • PDF
  • English
  • Year: 2020
  • Author: Giovanni Maddalena, Giovanni Tuzet
search