Free Logic Books

The art of reasoning: An introduction to logic and critical thinking

Symbolic logic: an introduction

Symbolic logic

Subrecursion: functions and hierarchies

Strict finitism and the logic of mathematical applications

Simplicity theory

Sets, models and proofs

Sets, functions, and logic: an introduction to abstract mathematics

Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]

Semantical investigations in Heyting's intuitionistic logic

Selected papers in proof theory

Reverse mathematics 2001

Релевантная логика (предпосылки, исчисления, семантика)

Relevant logic: A philosophical examination of inference

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Recursion theory for metamathematics

Recursion theory. Computational aspects of definability

Raymond Smullyan on self-reference

Quantifiers in language and logic

Quantifiers: Logics, models and computation. Vol.1: Surveys

Propositional and predicate calculus: a model of argument

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Proof theory: the first step into impredicativity

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Proof methods for modal and intuitionistic logics

Proceedings of the International Colloquium in the Philosophy of Science, London, 1965. Volume 4, Criticism and the growth of knowledge

Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic

Principles of mathematical logic

Philosophical logic in Poland

Philosophical and mathematical logic

Perspectives in logic: logical foundations of proof complexity

Papers on time and tense

On preserving: essays on preservationism and paraconsistent logic

Notions and theorems of elementary formal logic

Nonstandard methods and applications in mathematics

Natural deduction: the logical basis of axiom systems

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models of Peano arithmetic

Model theory, algebra, and geometry

Model theory of stochastic processes

Model theory for modal logic: Kripke models for modal predicate calculi

Model theory

Model theory

Modal logic

Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry

Mathematical problems from applied logic I / 2, Logics for the XXIst century

Mathematical problems from applied logic I: Logics for the XXIst century

Mathematical logic. On numbers, sets, structures, and symmetry

Mathematical logic: Foundations for information science

Mathematical logic

Many-valued logics

Логики Лукасевича и простые числа

Logics for computer science: classical and non-classical

Logicism renewed: Logical foundations for mathematics and computer science

Logic, semantics, metamathematics: Papers from 1923 to 1938

Logic, Navya-Nyāya, & applications: homage to Bimal Krishna Matilal

Logic, Construction, Computation. 3

Logic, computation, hierarchies: Festschrift in honour of Victor L. Selivanov

Logic with trees: an introduction to symbolic logic

Logic of Reliable Inquiry. Logic and Computation in Philosophy, The

Logic of questions in the wild. Inferential erotetic logic in information seeking dialogue modelling

Logic matters

Logic colloquium '99: lecture notes in logic 17

Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Logic colloquium 2004

Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Logic colloquium '03: lecture notes in logic 24

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic and structure

Logic and philosophy today, vol.2

Logic and philosophy today, vol.1

Logic and its applications: Proceedings Dehli, 2011 4th Indian Conference

Logic: techniques of formal reasoning

Logic: [an introduction to elementary logic]

Lectures on infinitary model theory

Lectures in model theory

Larisa Maksimova on implication, interpolation, and definability

Квантовая логика

Крушение метафизической концепции универсальности предметной области в логике

Jaakko Hintikka on knowledge and game-theoretical semantics

INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND... LINGUISTICS

Introduction to symbolic logic and its applications

Introduction to mathematical logic

Introduction to logic and to the methodology of the deductive sciences

Internal logic: Foundations of mathematics from Kronecker to Hilbert

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Infinity in logic and computation: Selected papers Cape Town, 2007

Independence-friendly logic. A game-theoretic approach

Hybrid logic and its proof theory

Henkin-Keisler Models. Mathematics and Its Applications

Handbook of the logic of argument and inference: the turn towards the practical

Handbook of Philosophical Logic

Handbook of logic in computer science, vol.1: Background. Mathematical structures

Groups of finite Morley rank

Grounded consequence for defeasible logic

Godel's theorem simplified

Geometric stability theory

Категорная логика

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

4
5
6
7
8