Free Logic Books

icon
Mathematical Logic
icon
Axiomatic Set Theory
icon
String-Rewriting Systems
icon
Logics of Specification Languages
icon
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
icon
Gödel's Incompleteness Theorems
icon
Set Theory and the Continuum Problem
icon
Modalities: Philosophical Essays
icon
Practical Logic: with the Appendix on Deontic Logic
icon
Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2
icon
Ensaio sobre os Fundamentos da Lógica
icon
Set Theory with a Universal Set: Exploring an Untyped Universe
icon
Nonstandard Queries and Nonstandard Answers
icon
Reasoning about Theoretical Entities
icon
Rigid Flexibility: The Logic of Intelligence
icon
Cut Elimination in Categories
icon
A Primer of Probability Logic
icon
Proofs and Types
icon
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963
icon
Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976
icon
Displaying Modal Logic
icon
A Course in Mathematical Logic
icon
Ancient Formal Logic
icon
A General Algebraic Semantics for Sentential Logics
icon
Specification of Software Systems
icon
Finite Model Theory
icon
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
icon
Set Theory
icon
Modalities: Philosophical Essays
icon
Logic for Concurrency and Synchronisation
icon
Lectures on the Curry-Howard Isomorphism
icon
Category Theory
icon
Математическая логика. Курс лекций
icon
Введение в общую теорию множеств и функций
icon
Семантика модальных и интенсиональных логик
icon
Математическая логика
icon
Избранные труды. Том 2. Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
icon
Доказуемое и недоказуемое
icon
Вычислимое и невычислимое
icon
Введение в математическую логику
icon
Математическая логика
icon
Displaying Modal Logic
icon
Mathematical Logic
icon
Lectures in Logic and Set Theory. Volume 2: Set Theory
icon
Lectures in Logic and Set Theory. Volume 1: Mathematical Logic
icon
Coherent systems
icon
Logic and Computation: Interactive Proof with Cambridge LCF
icon
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
icon
Computability and randomness
icon
Tense logic
icon
Methods of Cut-elimination
icon
Temporal Logic of Programs
icon
Models of Peano arithmetic
icon
Set Theory
icon
Models for Modalities: Selected Essays
icon
Handbook of Practical Logic and Automated Reasoning
icon
A Logical Approach to Discrete Math
icon
Inexhaustibility: A Non-Exhaustive Treatment
icon
Reasoning about Theoretical Entities
icon
Kurt Gödel: Essays for his Centennial
icon
Set theory. An introduction to large cardinals
icon
Modal logic: An introduction
icon
Deduction: Automated Logic
icon
A course in mathematical logic
icon
Vicious circles: On the mathematics of non-wellfounded phenomena
icon
The Description Logic Handbook: Theory, Implementation and Applications
icon
Handbook of Spatial Logics
icon
Заметки по логике
icon
Введение в общую теорию множеств и функций
icon
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes
icon
Pluralism: Against the Demand for Consensus (Clarendon Library of Logic and Philosophy)
icon
Between Logic and Intuition: Essays in Honor of Charles Parsons
icon
The Logic of Epistemology and the Epistemology of Logic: Selected Essays
icon
Fork Algebras in Algebra, Logic and Computer Science
icon
The Dialogic Imagination: Four Essays (University of Texas Press Slavic Series)
icon
Logicism, Intuitionism, and Formalism: What Has Become of Them?
icon
Category Theory
icon
Logic for Concurrency and Synchronisation
icon
Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
icon
Informal Logic: A Pragmatic Approach, 2nd edition
icon
The Foundations of Mathematics
icon
Guide to meteorological instruments and methods of observation 7th Edition
icon
Logika. Nauka i sztuka
icon
Heterogeneidad Estructural, Asimetrías Tecnológicas y crecimiento en América Latina (Structural Heterogeneity, Technological Assimetries and Growt in LatinAmerica)
icon
Storia della logica
icon
Theory of Random Sets (Probability and its Applications)
icon
The Axiom of Choice
icon
Introdução à Lógica Elementar com o Símbolo de Hilbert
icon
Boethius: The Consolations of Music, Logic, Theology, and Philosophy
icon
Symbolic Logic
icon
Das Eine, die Einheit und die Eins: Bemerkungen zur Logik des Zahlbegriffs
icon
Archaeological Approaches to Cultural Identity (One World Archaeology)
icon
Bad Aboriginal Art : Tradition, Media, and Technological Horizons (Theory Out of Bounds, Vol 3)
icon
Shades of Loneliness: Pathologies of a Technological Society (New Social Formations)
icon
A Concise Introduction to Logic 10 th Ed.
icon
The Logical Status of 'God' and The Function of Theological Sentences
icon
From Torpedoes to Aviation: Washington Irving Chambers & Technological Innovation in the New Navy 1876 to 1913
icon
Logic Primer, 2nd Edition
icon
Logika. 1 dalis: Dvireikšmė teiginių logika, argumentacijos teorija
icon
Logica Del Sentido (Spanish Edition)