Home Advanced Search

Advanced Search - Page 1

Mathesis Universalis, Computability and Proof
  • PDF
  • English
  • Year: 2019
  • Author: Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
  • PDF
  • English
  • Year: 2019
  • Author: Stefania Centrone, Deborah Kant, Deniz Sarikaya
Versuche über Husserl
  • PDF
  • German
  • Year: 2013
  • Author: Stefania Centrone
Logic and Philosophy of Mathematics in the Early Husserl
  • PDF
  • English
  • Year: 2010
  • Author: Stefania Centrone
Essays on Husserl's Logic and Philosophy of Mathematics
  • PDF
  • English
  • Year: 2017
  • Author: Stefania Centrone (eds.)
Logic and Philosophy of Mathematics in the Early Husserl
  • PDF
  • English
  • Year: 2010
  • Author: Stefania Centrone (auth.)
Logic and philosophy of mathematics in the early Husserl
  • PDF
  • English
  • Year: 2010
  • Author: Stefania Centrone (auth.)
Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
  • PDF
  • English
  • Year: 2023
  • Author: Stefania Centrone, Klaus Mainzer
Environmental Health in International and EU Law: Current Challenges and Legal Responses
  • PDF
  • English
  • Year: 2019
  • Author: Stefania Negri (editor)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
  • PDF
  • English
  • Year: 2020
  • Author: Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
search