Free Logic Books

icon
Theory of Computation
icon
Basic Simple Type Theory
icon
Логический подход к искусственному интеллекту. Книга 2: От модальной логики к логике баз данных
icon
Математика метаматематики
icon
The Lambda calculus: its syntax and semantics
icon
Введение в теорию множеств
icon
Elements of Finite Model Theory
icon
The collected papers of Gerhard Gentzen
icon
Proof Theory
icon
Handbook of logic and language
icon
A problem course in mathematical logic : is a freeware mathematics text
icon
Set Theory - The Third Millenium Edition (revised, expanded)
icon
Lectures in Logic and Set Theory. Volume 1: Mathematical Logic
icon
A concise introduction to mathematical logic
icon
Elementary Set Theory
icon
A Practical Introduction to Denotational Semantics
icon
Paraconsistency: Logic and Applications
icon
Logic: a Brief Course
icon
O Desenvolvimento da Lógica
icon
Advanced Modal Logic [pp. 83-266]
icon
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
icon
Modal Logic
icon
Many-dimensional modal logics: theory and applications
icon
Математический интуиционизм. Введение в теорию доказательств
icon
Constructivism in Mathematics: An Introduction
icon
In the Light of Logic
icon
Non-Well-Founded Sets
icon
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations
icon
Proceedings of the 06th Asian Logic Conference
icon
Элементы математической логики
icon
Введение в аксиоматическую теорию множеств
icon
Философские проблемы многозначной логики
icon
Логика
icon
Selected papers on automath
icon
Set Theory with a Universal Set: Exploring an Untyped Universe
icon
Basic Model Theory
icon
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming
icon
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
icon
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
icon
What is a Logical System?
icon
El Paraíso de Cantor: La Tradición Conjuntista en la Filosofia Matemática
icon
A Course in Mathematical Logic for Mathematicians
icon
Математическая логика
icon
Неклассические логики
icon
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
icon
Математическая логика.
icon
Apartness and Uniformity: A Constructive Development
icon
Введение в логику и научный метод
icon
Очерки комплексной логики
icon
Handbook of Logic and Language
icon
Goedel's incompleteness theorems
icon
Selected Logic Papers
icon
Computation and reasoning. A type theory for computer science
icon
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
icon
Handbook of the History of Logic. Volume 5: Logic from Russell to Church
icon
Handbook of the History of Logic. Volume 10: Inductive Logic
icon
Modal Logic. An Introduction to Its Syntax and Semantics
icon
Proceedings of the 06th Asian Logic Conference
icon
Sets, Logic and Categories
icon
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory
icon
A course on set theory
icon
Action semantics
icon
Finite and algorithmic model theory
icon
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
icon
Groups of Finite Morley Rank
icon
Handbook of Proof Theory
icon
Inexhaustibility: A Non-Exhaustive Treatment
icon
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
icon
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1
icon
Cut Elimination in Categories
icon
Курс лекций по математической логике и теории алгоритмов
icon
Mathematical Logic for Computer Science
icon
Handbook of Mathematical Logic
icon
Логические базисы: Теорема Поста
icon
Математика в альтернативной теории множеств
icon
Русская логика для школьников
icon
Очерки комплексной логики
icon
Теорема Гёделя о неполноте
icon
An algebraic approach to non-classical logics
icon
Математическая логика и основы теории алгоритмов
icon
Категорная логика
icon
Introdução à Lógica
icon
Natural Logic
icon
Lógica
icon
O Teorema de Gödel e a Hipótese do Contínuo
icon
O Desenvolvimento da Lógica
icon
Logic & Mathematical Paradoxes
icon
Feature Logics, Infinitary Descriptions and Grammar
icon
Feature Logics, Infinitary Descriptions, and Grammar
icon
Explanatory Nonmonotonic Reasoning
icon
Symbolic Logic
icon
Models of Peano Arithmetic
icon
A Computational Logic Handbook
icon
Basic Model Theory
icon
Axiomatic Set Theory
icon
Dual Tableaux: Foundations, Methodology, Case Studies
icon
Hyperproof
icon
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
icon
Natural Deduction, Hybrid Systems and Modal Logics
icon
Logic and Language Models for Computer Science