Free Logic Books

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Solution Manual to A Modern Formal Logic Primer, Volume I

Cardinal arithmetic

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

The semantic tradition from Kant to Carnap: To the Vienna station

Goedel's incompleteness theorems

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Sets, models, and proofs

Introduction to Cardinal Arithmetic

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

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

Fine structure and iteration trees

Perspectives on the history of mathematical logic

Some applications of the method of forcing (1995)

Logical foundations of proof complexity

Paraconsistency: The logical way to the inconsistent. Proceedings Sao Paolo

Substructural Logics

Equivalents of the Axiom of Choice

Sets, Models and Recursion Theory (Logic Colloquium'65)

Degrees of unsolvability: Local and global theory

Natural deduction: A proof-theoretical study

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Handbook of Quantum Logic and Quantum Structures: Quantum Logic

The reach of abduction insight and trial

Morphological image analysis: principles and applications

Boole's Logic and Probability: A Critical Exposition

Logic colloquium '95: Proc. Haifa 1995

Admissible sets and structures: An approach to definability theory

The Logic Book

A theory of formal deducibility

Truth, vagueness, and paradox: An essay on the logic of truth

Deductive logic

Constructibility

The continuum: A critical examination of the foundation of analysis

Handbook of logic in artificial intelligence and logic programming

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Foundations without Foundationalism: A Case for Second-Order Logic

Essential stability theory

Mathematical interpretation of formal systems

Axiomatic Set Theory

Proper and improper forcing

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Arithmetic and logic in computer systems

The logic of decision

Errata to A Modern Formal Logic Primer

Relation Algebras

General recursion theory: An axiomatic approach

Теория операций над множествами

Сохранение допустимости правил вывода в логиках, родственных S4.2

Полные по Новикову логики: метод перевода

Основы нестандартного математического анализа

Определимость в нормальных расширениях логики S4

О свойстве Бета в расширениях логик Лукасевича

О дизъюнктивном свойстве в классе паранепротиворечивых расширений минимальной логики

Методы алгебры логики в математической физике

Методические проблемы интуиционистской математики

Избранные труды: теория множеств и функций, математическая логика и алгебра

Sigma-определимость в наследственно конечных надстройках и пары моделей

Rigid Flexibility: The Logic of Intelligence

Proceedings of the Summer School in Logic Leeds

Mineralogical Content of Maine Sands in Relation to Mortar Strength

Methods of hydrological basin comparison

Logic Colloquium

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

Essays on Non-Classical Logic

Clean Coal Technologies in Japan. Technological Innovation in the Coal Industry

Asynchronous Pulse Logic

Air Logic Control for Automated Systems

A Survey of Symbolic Logic

A Blaricum Topology for Brouwer

Основы теоретической логики

Что такое нестандартный анализ

Теорема Геделя о неполноте

Schaum's Outline of Logic

Relevant and Substructural Logic

Logic for Everyone

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

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Linear Logic

Introduction to Linear Logic

Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes

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

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

Теория дедуктивных систем и ее применения

Теория дедуктивных систем и ее применения

Essays on Non-Classical Logic

Set theory, logic, and their limitations

Introduction to Logic

Goldfrank's Toxicologic Emergencies

Основные операции нечеткой логики и их обобщения

Short Introduction to Intuitionistic Logic

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

Logic and Structure

Logic Made Easy

Digital Principles and Logic Design

The Logic Book

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

1
2
3
4
...