Free Logic Books

Truth, Syntax and Modality: Proceedings of the Temple University Conference on Alternative Semantics

Toward a Systematic Pragmatics

Theory of Relations

The Problem of Inductive Logic: Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2

The Metamathematics of Algebraic Systems. Collected Papers 1936-1967

The Mechanism of Mind

The Logical Systems of Lesniewski

The Logic of Information Structures

The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

The Core Model Iterability Problem

The Axiomatic Method, with Special Reference to Geometry and Physics

Systems Programming in Parallel Logic Languages

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Southeast Asian Conference on Logic

Simplified Independence Proofs: Boolean Valued Models of Set Theory

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Sets and Classes: On the Work by Paul Bernays

Set Theory

Selected Papers on Automath

Propositional Logic of Boethius

Programmable Logic Controllers

Proceedings of the Third Scandinavian Logic Symposium

Problems in the Philosophy of Science: Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 3

Outlines of a Formalist Philosophy of Mathematics

On the Metamathematics of Algebra

Non-standard analysis

Nonmonotonic Logics: Basic Concepts, Results, and Techniques

Non-classical logics, model theory and computability.

Nomological Statements and Admissible Operations

Model Theory and Modules

Metamathematics of First-Order Arithmetic

Mathematical Logic and Foundations of Set Theory: Colloquium Proceedings, Jerusalem, 1968

Mathematical Logic

Mathematical Interpretation of Formal Systems

Logik im Recht: Grundlagen und Anwendungsbeispiele

Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th

Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991

Logic, Methodology and Philosophy of Science IV

Logic, Methodology and Philosophy of Science III

Logic in Algebraic Form, Three Languages and Theories

Logic Colloquium '95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium 90. ASL Summer Meeting in Helsinki

Logic Colloquium ’88: Proceedings

Logic Colloquium ’87: Proceedings of the Colloquium Held in Granada, Spain July 20-25, 1987

Logic Colloquium '85: Proceedings Orsay, 1985

Logic Colloquium 1984: Proceedings

Logic Colloquium 1982: Proceedings

Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic

Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978

Logic: Colloquium Proceedings, 1977

Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976

Logic Colloquium '73

Logic Colloquium '69

Lincos, Part I

Lectures in Logic and Set Theory. Volume 2: Set Theory

Large Infinitary Languages, Model Theory

Languages with Expressions of Infinite Length

Language in Action: Categories, Lambdas and Dynamic Logic

Key Terms in Logic

Intuitionism: An Introduction

Intuitionism: An Introduction

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Introduction To the Theory of Finite Automata

Introduction to Model Theory and to the Metamathematics of Algebra

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Interpolation and Definability: Modal and Intuitionistic Logics

Intentional Mathematics

Hausdorff Gaps and Limits

Handbook of Proof Theory

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

Handbook of Computability Theory

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings

Generalized Recursion Theory

Foundations of Set Theory Second Revised Edition

Foundations of Set Theory

Foundations of Infinitesimal Stochastic Analysis

Foundational Studies, Selected Works Vol II

Foundational Studies, Selected Works Vol I

Formal Systems and Recursive Functions

Fine Structure and Iteration Trees

Explanatory Nonmonotonic Reasoning

Essential Stability Theory

Equivalents of the Axiom of Choice II

Equivalents of the Axiom of Choice

Elementary Induction on Abstract Structures

Dynamic Logic

Diamond: A Paradox Logic

Delta: A Paradox Logic

Cylindric Algebras, Part II

Contributions to Non-Standard Analysis

Contributions to Mathematical Logic: Proceedings of the Logic Colloquium, Hannover 1966

Constructive Order Types

Consequences of Martin's Axiom

Computer Programming & Formal Systems

Computable Structures and the Hyperarithmetical Hierarchy

Computability, Complexity, Logic

Combinatorial Set Theory: Partition Relations for Cardinals

Combinatorial Set Theory.

Classification Theory and the Number of Non-Isomorphic Models

Axiomatic Set Theory

1
2
3
4
...