Free Logic Books

Beweise als Programme 001

The structure of fix point logics 001

Semantik 001

Modelltheorie der Fixpunktlogik 001

Logische Systeme der Informatik 001

Logikminimierung 001

Einfuehrung in die Logik 001

Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983

Logic Symposia, Hakone, 1979, 1980

First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

Proceedings of the Summer School in Logic, Leeds, 1967. NATO ASI Meeting of the Association for Symbolic Logic

Logic. Year 1979-80

Infinitary logic. in memoriam Carol Karp. A collection of papers

Modelle der Mengenlehre: Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

Eine Termlogik mit Auswahloperator

Degrees of Unsolvability Structure and Theory

Engines of logic

Основания теории множеств

Неклассическая логика

Математическая логика и теория алгоритмов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201 ''Математика''

Математическая логика и теория алгоритмов

Задачи и упражнения по математической логике и теории алгоритмов

О математических структурах

Logic and structure

Introduction to the theory of logic

Memoirs of a proof theorist: Goedel and other logicians

The liar speaks the truth: A defense of the revision theory of truth

Combinatorial set theory

Essays on Non-Classical Logic

A Survey of Mathematical Logic.

The Banach-Tarski paradox

The theory of semisets

Sweet reason: A field guide to modern logic

Ordinal Algebras

Introduction to logic and to the methodology of the deductive sciences

Algebra of Proofs

An Introduction to Gödel's Theorems

Degrees of Unsolvability

Intensional mathematics

Proof theory

Recursive functionals

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Equivalents of the axiom of choice, II

Many-valued logics

Simplified Independence Proofs: Boolean Valued Models of Set Theory

Linear orderings

Deducibility and decidability

On the Metamathematics of Algebra

Non-standard analysis

Introduction to model theory and to the metamathematics of algebra

The ways of paradox and other essays

An Introduction to Non-Classical Logic: From If to Is

Likeness to Truth

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Sets and Classes: On the Work by Paul Bernays

Sentences Undecidable in Formalized Arithmetic

Constructible sets with applications

Elementary induction on abstract structures

A theory of sets

A theory of sets

Zermelo’s Axiom of Choice: Its Origins, Development, and Influence

Intuitionistic Type Theory

Set theory, logic, and their limitations

Introduction to higher-order categorical logic

Problems in the philosophy of mathematics: Proceedings of International Colloquium in Philosophy of Science London 1965, Volume 1

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

Lukasiewicz's logics and prime numbers

The axiom of choice

Intuitionism. An introduction

Cylindric Algebras, Part II

Logic for Mathematicians

The revision theory of truth

Recursive analysis

Collected works. Publications 1938-1974

Collected works. Publications 1929-1936

The collected papers of Gerhard Gentzen

Handbook of the History of Logic. Volume 8: The Many Valued and Nonmonotonic Turn in Logic

Handbook of the History of Logic. Volume 04: British Logic in the Nineteenth Century

Handbook of the History of Logic. Volume 02: Mediaeval and Renaissance Logic

Labelled deductive systems

What is a Logical System?

Handbook of the History of Logic. Volume 01: Greek, Indian and Arabic Logic

Fork Algebras in Algebra, Logic and Computer Science

The foundations of arithmetic

Hausdorff gaps and limits

Foundations of set theory

Abstract set theory

Set theory with a universal set: Exploring an untyped universe

Logic, induction and sets

Intuitionistic logic, model theory and forcing

Fundamentals of generalized recursion theory

The limits of abstraction

Logic colloquium ’88

Proc. 2nd Scandinavian Logic Symposium

Andrzej Mostowski and foundational studies

The propositional logic of Boethius

Propositional logic of Boethius

Sets, logic & numbers

Large Infinitary Languages

The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

1
2
3
4
...