Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
(9783540230175 / Illustrations) | Higher Order Logics
Logik
Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil'ev
(9783319881720) | Thinking about Contradictions
The Abductive Structure of Scientific Creativity: An Essay on the Ecology of Cognition
(9783319865829) | The Abductive Structure of
Descriptor Revision: Belief Change through Direct Choice
(9783319850511) | Sven Ove, Descriptor Revision
Ewa Orłowska on Relational Methods in Logic and Computer Science
Springer-Verlag GmbH (9783319978789 / 33536011) | Logic and, Ewa Orlowska
Subjective Logic: A Formalism for Reasoning Under Uncertainty
(9783319825557) | Jøsang Subjective Logic, Subjective Logic
The Dialectical Forge: Juridical Disputation and the Evolution of Islamic Law
(9783319798059) | Dialectical Forge
Logics and Falsifications: A New Perspective on Constructivist Semantics
(9783319345499) | Kapsner Logics and Falsifications, Logics and Falsifications
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
(9789402406870) | Advances in Natural Deduction
Aristotle's Theory of Abstraction
(9783319346755) | Aristotle's Theory of Abstraction
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
(9789402401028) | Cellucci Rethinking Logic, Rethinking Logic
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer
(9783319376578) | Essays on, Van Atten Essays on, Reception of
Between Logic and Reality: Modeling Inference, Action and Understanding
(9789400793781 / biography) | Between Logic and Reality
Judgement and the Epistemic Foundation of Logic
Springer-Verlag GmbH (9789400751361 / biography)
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
(9783540396253 / biography) | Logics in Artificial Intelligence
Basic Questions on Truth
Springer Netherlands (9780792362241 / 14596469) | Basic Questions
Rethinking Knowledge: The Heuristic View
(9783319850993) | Rethinking Knowledge
The Significance of the Lvov-Warsaw School in the European Culture
(9783319850054) | The European, The Significance of The
Constructivity and Computability in Historical and Philosophical Perspective
(9789401792165 / 1 black & white illustrations, biography) | Constructivity and Computability
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
(9783319100302 / biography) | And Brouwer
Leśniewski's Systems of Logic and Foundations of Mathematics
(9783319344164) | Lesniewski's Systems of Logic
Janus-Faced Probability
(9783319048604 / 26 black & white illustrations, biograph) | Janus-Faced Probability
Montano U Explaining Beauty in Mathematics An Aesthetic T
(9783319034515) | Explaining Beauty in Mathematics
4.379 Produkte