Free Logic Books

Reasoning with Actual and Potential Contradictions

Refinement Calculus: A Systematic Introduction

Specification of Software Systems

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

The Resolution Calculus

Logic, Action and Cognition: Essays in Philosophical Logic

Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion

Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts

Practical Foundations of Mathematics

Gnomes in the Fog: The Reception of Brouwer’s Intuitionism in the 1920s

Programming with Higher-Order Logic

Cylindric Algebras, Part I

Stable groups

Logicism and its Philosophical Legacy

Advanced Topics in Bisimulation and Coinduction

Topoi: The Categorial Analysis of Logic

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

La filosofia della matematica

The Language of Mathematics: A Linguistic and Philosophical Investigation

Introduction to Logic: and to the Methodology of Deductive Sciences

Recursion Theory

Basic Simple Type Theory

Computability Theory: An Introduction to Recursion Theory

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Walks on Ordinals and Their Characteristics

Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

The Determinacy Of Long Games

Fine Structure and Iteration Trees

Combinatorial Set Theory: With a Gentle Introduction to Forcing

Elements of Set Theory

Constructibility

Higher Recursion Theory

Lectures on the Curry-Howard Isomorphism

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Handbook of Computability Theory

Subsystems of Second Order Arithmetic.

Proofs and Computations

Structural Proof Theory

Proof Theory for Fuzzy Logics

Constructivism in Mathematics: An Introduction

Proof Theory

Handbook of Proof Theory

Proofs and Types

Methods of cut-elimination

Classification Theory, Second Edition: and the Number of Non-Isomorphic Models

Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers

Finite Model Theory

Categoricity

The mathematics of metamathematics.

Introduction to Higher-Order Categorical Logic

Algorithmic term rewriting systems

Algebraic semantics

Combinatory logic. Vol. 1.

Combinatory logic. / Volume II

Term Rewriting and All That

Domains and Lambda-Calculi

Mathematical logic

Handbook of Mathematical Logic

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Mathematical Logic

A Mathematical Introduction to Logic, Second Edition

Computability and Logic

Mathematical Logic

Digital Logic Circuit Analysis and Design

Логика

Ранняя история аксиомы выбора

Конструктивные процессы в математике

Азбука математической логики

Теория моделей

Математическая логика. Курс лекций

On formally undecidable propositions of Principia mathematica and related systems

Descriptive Complexity

Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию

Logics of Specification Languages

Solving Higher-Order Equations: From Logic to Programming

Undecidable theories

The Lambda calculus: its syntax and semantics

Logic Colloquium '86: Proceedings

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies

Cabal Seminar, 77-79: Proceedings

Set Theory and Logic

Handbook of the History of Logic. Volume 06: Sets and Extensions in the Twentieth Century

Theory of Computation

Теория познания и логика по учению позднейших буддистов

Intuitionism. An introduction

Основания математики

Основания математики

Основания математики

Introduction to Logic

Topoi: The Categorial Analysis of Logic

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

A Course on Mathematical Logic

Around and Beyond the Square of Opposition

Логика в лицах и символах : учеб. для вузов : облегчен. излож. материала

Проблемы логики [Сборник статей]

Развитие многозначной логики

Temporal Logic: Mathematical Foundations and Computational Aspects

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

1
2
3
4
...
17
18
19
20
21