Free Logic Books

Курс современной логики. Формальная логика как опытная наука

Курс современной логики. Начала эволюционной гносеологии

Логика: Шпаргалка

Логика: шпаргалка

Логика. Экзаменационные ответы

Логика: учебник

Введение в математическую логику

Имитационное моделирование систем: введение в моделирование с AnyLogic 5

Водная логика

Modal Logic: An Introduction

Math and Logic Puzzles for PC Enthusiasts

Logic-timing Simulation And the Degradation Delay Model

Logic: An Introductory Course

Conditionals: From Philosophy to Computer Science

Agency and Deontic Logic

Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action

Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday

Logics for Concurrency: Structure versus Automata

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Логика в решении проблем

Вычислимость и логика

Logic and Structure

Inscribing Devotion and Death: Archaeological Evidence for Jewish Populations of North Africa

Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV

An Introduction to Godel's Theorems

Logik fur Informatiker

Finite Model Theory and Its Applications

Modal Logic

Logic in Reality

Programmable Logic Controllers, Fourth Edition

Being Logical: A Guide to Good Thinking

Quantitative Information Fusion for Hydrological Sciences

Computability and Logic Boolos

Fostering Technological Entrepreneurship and Innovation

Description Logic Handbook

Системы на МК и БИС программируемой логики. Бродин и

Bioarchaeological Studies of Life in the Age of Agriculture: A View from the Southeast

Logic for Mathematicians

Logic and Representation

Logic, Language, and Computation. Volume 1

Логика добра

Логика всеединства

По законам логики

Наука логики

Заметки о женской логике

Теория познания и логика по учению позднейших буддистов

Quanta, logic and spacetime

Introduction to logic

Hematologic malignancies: acute leukemias

Principia tectologica. Принципы организации и трансформации сложных систем: эволюционный подход

Категориально-системная методология в подготовке ученых

Монизм как принцип диалектической логики

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

Котегориально-системная методология в подготовке ученых

A modern formal logic primer: sentence logic

Intensional and Higher-Order Modal Logic

A theory of formal deducibility

A modern formal logic primer: predicate theory

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Fundamentals of stability theory

Goedel '96: Proc. Brno 1996

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

Higher Recursion Theory

Automata Logics, and Infinite Games: A Guide to Current Research

Model-theoretic logics

Theory of relations

Consequences of Martin's axiom

Symbolic logic: an introduction

Logic-based artificial intelligence

Combinatory logic

Intermediate logic

Model theory of fields

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Recursive functionals

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Logic in algebraic form: Three languages and theories (no TOC)

Classification Theory and the Number of Non-Isomorphic Models

Logic colloquium '90: Proc. Helsinki 1990

Aspects of incompleteness

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

The core model iterability problem

Cantorian Set Theory and Limitation of Size

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Metamathematics of first-order arithmetic

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Logic primer

Language in Action: Categories, Lambdas and Dynamic Logic

Recursion-theoretic hierarchies

Solution Manual to A Modern Formal Logic Primer

Consequences of Martin's axiom

What is mathematical logic?

Recursion theory

Bounded variable logics and counting: A study in finite models

Agenda Relevance: A Study in Formal Pragmatics

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

1
2
3
4
...