Free Logic Books

icon
Quantified Representation of Uncertainty and Imprecision
icon
Metamathematics of Fuzzy Logic
icon
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
icon
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
icon
Logic and Structure
icon
Boolean Algebras
icon
Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning
icon
Modalities and Multimodalities: With the assistance and collaboration of Juliana Bueno-Soler
icon
The Death of Argument: Fallacies in Agent Based Reasoning
icon
Automated Model Building
icon
Квантовая логика
icon
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
icon
Mathematical Logic
icon
Aristotle's modal syllogisms
icon
A Modern Perspective on Type Theory: From its Origins until Today
icon
Labelled deduction
icon
Logic, language and computation
icon
Машины Тьюринга и рекурсивные функции
icon
Automated Deduction — A Basis for Applications: Volume III Applications
icon
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
icon
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
icon
The Death of Argument: Fallacies in Agent Based Reasoning
icon
Fallacies arising from ambiguity
icon
Logic, Language and Computation. Volume 1
icon
A Modern Perspective on Type Theory: From its Origins until Today
icon
A New Introduction to Modal Logic
icon
Automated Model Building
icon
Advances in temporal logic
icon
Задачи по теории множеств, математической логике и теории алгоритмов
icon
Intellectics and computational logic: papers in honor of Wolfgang Bibel
icon
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques
icon
Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods
icon
Основания математики. Том 1
icon
Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств
icon
Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей
icon
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
icon
Handbook of logic and language
icon
Subsystems of Second Order Arithmetic
icon
Logic for Applications
icon
Modal Logic
icon
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning
icon
Основания математики. Том 3
icon
Основания математики. Том 2
icon
Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика
icon
Справочная книга по математической логике. В 4-х частях. Часть 3. Теория рекурсии
icon
Basic proof theory
icon
Epistemic Logic for AI and Computer Science
icon
Proof Theory for Fuzzy Logics
icon
Proofs and Types
icon
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
icon
Basic model theory
icon
Современная теория множеств: борелевские и проективные множества
icon
Algebraic semantics in language and philosophy
icon
Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]
icon
The Uncertain Reasoner's Companion: A Mathematical Perspective
icon
Belief revision
icon
Recursive Functionals
icon
An Introduction to Modal Logic
icon
A Companion to Modal Logic
icon
A Companion to Modal Logic
icon
A Companion to Modal Logic
icon
Logic for Computer Science and Artificial Intelligence
icon
Handbook of Philosophical Logic
icon
Handbook of Spatial Logics
icon
The Death of Argument: Fallacies in Agent Based Reasoning
icon
[Article] Computing Galois group of a linear differential equation
icon
The Is-Ought Problem: An Investigation in Philosophical Logic
icon
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000
icon
The Convergence of Scientific Knowledge: A view from the limit
icon
Advances in Temporal Logic
icon
Fallacies Arising from Ambiguity
icon
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс
icon
Language in Focus: Foundations, Methods and Systems: Essays in Memory of Yehoshua Bar-Hillel
icon
Handbook of Philosophical Logic. Volume IV: Topics in the Philosophy of Language
icon
A Logical Approach to Discrete Math
icon
Proof Theory
icon
Set Theory. An Introduction to Independence Proofs
icon
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
icon
Existence as a Real Property: The Ontology of Meinongianism
icon
Simplified Independence Proofs: Boolean Valued Models of Set Theory
icon
Goguen Categories: A Categorical Approach to L-fuzzy Relations
icon
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes
icon
Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox
icon
Handbook of Philosophical Logic
icon
Inconsistent Mathematics
icon
Paraconsistency: The Logical Way to the Inconsistent: Proceedings of the World Congress Held in São Paulo
icon
Inconsistency in Science
icon
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
icon
Adaptive Logics and Dynamic Proofs. Mastering the Dynamics of Reasoning, with Special Attention to Handling Inconsistency
icon
Leśniewski's Systems of Logic and Foundations of Mathematics
icon
Modeling Time in Computing
icon
Principia Mathematica
icon
Principia Mathematica
icon
Principia Mathematica
icon
Homotopy Type Theory: Univalent Foundations of Mathematics
icon
Парадоксы теории множеств и диалектика
icon
Математическая логика и ее применения
icon
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”
icon
Perspectives on the History of Mathematical Logic
icon
Visual Reasoning with Diagrams