Logik
Technology and Mathematics: Philosophical and Historical Investigations
(9783319937786 / 33109716) | Technology and Mathematics
Recognizing Variable Environments: The Theory of Cognitive Prism
(9783642271212 / biography)
Neural-Symbolic Cognitive Reasoning
(9783642092299 / 53 black & white illustrations, 6 black)
Logic and Philosophy of Mathematics in the Early Husserl
(9789400731233 / biography)
Logical Tools for Handling Change in Agent-Based Systems
Springer Berlin Heidelberg (9783642261879 / 26 black & white illustrations, biograph) | For Handling Change
Cognitive Reasoning: A Formal Approach
Springer Berlin Heidelberg (9783642261657 / 12 black & white tables, biography) | Cognitive Reasoning
Ultralogic as Universal?: The Sylvan Jungle - Volume 4
(9783319919737) | Ultralogic as Universal?
Neighborhood Semantics for Modal Logic
Springer-Verlag GmbH (9783319671482 / 29808794)
Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over
Springer-Verlag GmbH (9783319951461 / 33251196) | Philosophy's Loss of Logic
The Dialectical Forge: Juridical Disputation and the Evolution of Islamic Law
(9783319255200 / 9783319255200) | The Dialectical Forge
Diagnosing Contemporary Philosophy with the Matrix Movies
(9781137578884) | The Matrix
The Rational Shakespeare: Peter Ramus, Edward de Vere, and the Question of Authorship
(9783319952574) | The Rational Shakespeare
The Hyperuniverse Project and Maximality
(9783319629346) | Project and Maximality
Experimental Ethics: Toward an Empirical Moral Philosophy
(9781349488797) | Experimental Ethics
Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil'ev
Springer-Verlag GmbH (9783319660851 / 29675248) | Thinking about Contradictions
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level
Springer-Verlag GmbH (9783319911489 / 32896898) | Immanent Reasoning or Equality
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... Notes in Computer Science, 4573, Band 4573)
Springer-Verlag GmbH (9783540730835 / biography) | Towards Mechanized Mathematical Assistants
Underdetermination: An Essay on Evidence and the Limits of Natural Knowledge
Springer-Verlag GmbH (9781402068980 / 6982813) | And the, Essay on
Mathematics and the Mind: An Introduction into Ibn Sīnā’s Theory of Knowledge
(9783319252360 / biography) | Mathematics and the Mind
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Springer-Verlag GmbH (9783319896496 / 32071268) | And Related Logics
Susan Haack: Reintegrating Philosophy
(9783319249674 / biography) | Susan Haack, Reintegrating Philosophy
Modern Uses of Multiple-Valued Logic
(9789027707475) | Of Multiple-Valued Logic, Multiple-Valued Logic
Ezumezu: A System of Logic for African Philosophy and Studies
Springer-Verlag GmbH (9783030110741 / 34988558) | Jonathan O
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
(9783030089719) | Intuitionistic Proof Versus Classical
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
(9783319836379) | Ognjanovic Probability Logics, Probability Logics
Hilary Putnam on Logic and Mathematics
Springer-Verlag GmbH (9783319962733 / 33384113) | On Logic and Mathematics
A Biosemiotic Ontology: The Philosophy of Giorgio Prodi
Springer-Verlag GmbH (9783319979021 / 33451173) | Biosemiotic Ontology
