Free Logic Books

Modal Logic

The Clausal Theory of Types

Larch: Languages and Tools for Formal Specification

Elementos de Teoria Paraconsistente de Conjuntos (Coleção CLE)

Anaphora and Quantification in Situation Semantics

Programs, Recursion and Unbounded Choice

Action Semantics

Selected Papers on Automath

Kurt Gödel: Essays for his Centennial

Probabilistic Logics and Probabilistic Networks

Rippling: Meta-Level Guidance for Mathematical Reasoning

The Description Logic Handbook: Theory, Implementation and Applications

Selected Papers on Automath

Algebraizable logics

The Lambda Calculus, Second Edition: Its Syntax and Semantics

Roads to Infinity: The Mathematics of Truth and Proof

Types, Tableaus, and Gödel's God

The lambda calculus: its syntax and semantics

Stochastic Coalgebraic Logic

Diagonalization and Self-Reference

Elements of combinatory logic

What is the name of this book?: The riddle of Dracula and other logical puzzles

An Introduction to Unification-Based Approaches to Grammar

Action Semantics

Between Logic and Reality: Modeling Inference, Action and Understanding

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Types, Tableaus, and Gödel’s God

Finite and Algorithmic Model Theory

Advanced Łukasiewicz calculus and MV-algebras

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

First-Order Logic and Automated Theorem Proving

Основы теории множеств и теории отображений. Учебное пособие

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Proofs and Computations

Truth and Falsehood: An Inquiry into Generalized Logical Values

Apartness and Uniformity: A Constructive Development

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Algebraic Semantics in Language and Philosophy

The Continuum Companion to Philosophical Logic

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

The Realism-Antirealism Debate in the Age of Alternative Logics

Handbook of the History of Logic. Volume 05: Logic from Russell to Church

Computation and Reasoning: A Type Theory for Computer Science

A Guide to Classical and Modern Model Theory

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Probabilistic Logic in a Coherent Setting

Probabilistic Logic in a Coherent Setting

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

A New Introduction to Modal Logic

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Proceedings of the 10th Asian Logic Conference

Structural Reliabilism: Inductive Logic as a Theory of Justification

A Transfinite Type Theory with Type Variables

Rudiments of μ-Calculus

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

An Introduction to the Philosophy of Mathematics

Category Theory

Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

Meaning and Partiality

The Realism-Antirealism Debate in the Age of Alternative Logics

Greek, Indian and Arabic Logic, Volume 1 (Handbook of the History of Logic)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Paradoxes

Logic, Language, and Computation. Volume 1

Logical Foundations of Proof Complexity

Handbook of the History of Logic. Volume 10: Inductive Logic

On Concurrent Programming

Algebraic semantics in language and philosophy

Geometric Stability Theory

Модальные теории Яна Лукасевича

Очерки по конструктивной математике

Treatise on Intuitionistic Type Theory

Logical Labyrinths

Paradoxes

Computability and Randomness

Non-Standard Analysis

Set Theory and Logic

Aristotle's Modal Syllogisms

Introduction to Model Theory and to the Metamathematics of Algebra

Introduction to Model Theory and to the Metamathematics of Algebra

Recursive Analysis

Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

Ordinal Algebras

Modalities: Philosophical Essays

Solvable Cases of the Decision Problem

Truth and Consequence in Mediaeval Logic

Many-Valued Logics

Set Theory: An Introduction to Large Cardinals

Computing Natural Language

Displaying Modal Logic

Прикладная логика: Учебное пособие

Models for Modalities: Selected Essays

Tense Logic

Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic

Handbook of Spatial Logics

1
2
3
4
...
19
20
21
22
23