Logik
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
(9783319100302 / biography) | And Brouwer
A New Perspective on Nonmonotonic Logics
(9783319468150) | On Nonmonotonic Logics
The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics
(9783642315541 / 69 black & white illustrations, biograph)
Giving Reasons: A Linguistic-Pragmatic Approach to Argumentation Theory
(9789400737846 / biography) | Bermejo Luque Giving Reasons, Giving Reasons, Bermejo Luque
Criteria of Diverse Kinds of Truth as Opposed to Agnosticism: Being a Treatise on Applied Logic
(9783337778026) | As Opposed
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
(9780792347767) | Logical Tools for Modelling
Judicial Applications of Artificial Intelligence
(9789048151363 / biography) | Of Artificial Intelligence
Werke.: Vollständige Ausgabe durch einen Verein von Freunden des Verewigten. Fünfter Band: Wissenschaft der Logik. Zweiter Theil: Die subjective ... L. von Henning.
(9783428164776)
Lingua Universalis vs. Calculus Ratiocinator:: An Ultimate Presupposition of Twentieth-Century Philosophy
(9789048147540) | Lingua Universalis vs, Calculus Ratiocinator
Anyone Who Has a View: Theoretical Contributions to the Study of Argumentation
Springer Netherlands (9781402014567 / 6872424) | Has a View
Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German ... and the Unity of Science, Band 39)
(9783319326146 / 25815643) | And the, Formalized Languages
Semantik und Ontologie: Drei Studien zu Aristoteles
Lang, Peter (9783039112777 / 20277352)
Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings
(9783540435617 / 1) | Diagrammatic Representation and Inference
New Essays on Frege: Between Science and Literature
(9783319711850) | New Essays on Frege
Entities and Indices
(9780792309673) | Entities and Indices
"Knowledge, Language and Logic: Questions for Quine"
(9781402002533) | And Logic, Questions for
Foundations: Logic, Language, and Mathematics
(9789048184064) | And Mathematics
Character Evidence: An Abductive Theory
Springer Netherlands (9789048172351 / biography) | Character Evidence
Contemporary Action Theory Volume 1: Individual Action
(9789048149148 / 2 black & white illustrations, biography) | Contemporary Action Theory Volume
Narration as Argument
(9783319568829) | Narration as Argument
Heuristic Strategies in the Speeches of Cicero
(9783319017983 / biography) | Speeches of Cicero
Mathematical Intuitionism and Intersubjectivity: A Critical Exposition Of Arguments For Intuitionism
(9789048151875 / 1 black & white illustrations, biography)
Probabilistic Logic in a Coherent Setting
(9781402009709)
Unifying the Philosophy of Truth
Springer-Verlag GmbH (9789401796729 / 30 black & white illustrations, 12 black)
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Springer Berlin Heidelberg (9783540516590 / 6886673)
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Springer Berlin Heidelberg (9783540527534 / 6902862)
"Properties, Types and Meaning": Volume Ii: Semantic Issues
(9781556080708 / biography)
Franz Ungler: Zur antiken und neuzeitlichen Dialektik
(9783631538074)
Collected Papers of Stig Kanger with Essays on his Life and Work
(9781402000225) | And work, Collected Papers
Axiomatic Formal Ontology
(9789048148981 / biography) | Axiomatic Formal Ontology
Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
(9783540253327 / Illustrations) | And Inference
Feyerabend and Scientific Values: Tightrope-Walking Rationality
Springer Netherlands (9789048163090 / biography) | Feyerabend and Scientific
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
(9789048158850 / biography) | Reuniting the Antipodes, Constructive and
A Hundred Years of English Philosophy
(9789048163458) | Hundred years of
History and Philosophy of Constructive Type Theory
(9789048154036 / biography) | History and Philosophy of
