College Publications
Proof Theory of N4 Paraconsistent Logics
Knowledge in Flux: Modeling the Dynamics of Epistemic States: v. 13 (Studies...
Logique temporelle et épistémologie de la presence dans philosophie illuminative Suhrawardī
Handbook of Formal Argumentation. Volume 3
Logical Reasoning: A First Course
Second order Quantifier Elimination: Foundations, Computational Aspects and Applications: v. 12 (Studies...
Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Goran Sundholm:...
Handbook of Mathematical Fuzzy Logic. Volume 2 (Studies in Logic)
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists (65) (Logic (Yellow))
the Good, Right & Fair (Philosophy (or Texts in Philosophy))
Non deductive Inferences in the Talmud
Bridges from Classical to Nonmonotonic Logic: v. 5 (Texts in Computing S.)
NA
Philosophical Applications of Modal Logic
Contact and Multidimensional Subjectivity. Toward a Phenomenology of Disclosure
Domain Specific Languages of Mathematics
Abstract Algebraic Logic. An Introductory Textbook
Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...
Meaning as A Set theoretic Object. Gentle Introduction to the Ideas Behind Formal Semantics
Language in Flux: Dialogue Coordination, Variation, Change and Evolution: 1 (Communication, Mind, Language)
Logic. A Primer
Formal Logic: Classical Problems and Proofs
Computation Counts: An Introduction to Analytic Concepts in Computer Science
A Primer of Mathematical Analysis and the Foundations Computation
Developing an economics for the post-crisis world
Investigations into the Predicate Calculus
Introduction to The Philosophy of Probability. Different Interpretations
Introduction to Propositional Satisfiability (Studies in Logic)
Handbook of Mathematical Fuzzy Logic. Volume 1 (Studies in Logic)
Georg Cantor's Metaphysical Correspondence
Learn PROLOG Now! (Texts in Computing)
Back to top