Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logics and Falsifications: A New Perspective on Constructivist Semantics
Logica: dimostrazioni e modelli al primo ordine
Математична логiка та теорiя алгоритмiв
Теория насыщенных моделей
Combinatory Reduction Systems [PhD Thesis]
Combinatory Reduction Systems [PhD Thesis]
Systems of Logic Based on Ordinals
Designing for Performance: Weighing Aesthetics and Speed
Algorithmic Logic
Algorithmic Logic
Church's Thesis After 70 Years
The art of reasoning
Теория систем и система теорий
Abstract Set Theory
Abstract Set Theory
Einführung in die Mengenlehre
The Classical Decision Problem
Modal Logic and Classical Logic
Many-Dimensional Modal Logic [PhD Thesis]
Complexity of Modal Logics [PhD Thesis]
Intermediate Logic
Intermediate Logic
Model Theory for Infinitely Deep Languages [PhD Thesis]
Теория систем и система теорий
Сон разума. Математическая логика и ее парадоксы
Algebraic Logic
Algebraic Logic
Provability, Complexity, Grammars
Provability, Complexity, Grammars
Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]
Modalities for Reasoning about Knowledge and Quantities
Solvability, Provability, Definability: The Collected Works of Emil L. Post
Games and Infinitary Languages
Many-Dimensional Modal Logic
Complexity of Modal Logics
Modal Logic and Classical Logic
The Classical Decision Problem
Set Theory: An Introduction to Large Cardinals
Constructivity and Computability in Historical and Philosophical Perspective
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Topoi, the categorial analysis of logic
The lambda calculus : its syntax and semantics
Математическая логика и автоматическое доказательство теорем
Dynamic Worlds: From the Frame Problem to Knowledge Management
Basic proof theory
Introduction to logic and to the methodology of the deductive sciences
First steps in modal logic
A course in model theory : an introduction to contemporary mathematical logic
Введение в логику и научный метод
First-order Modal Logic
Formal systems and recursive functions
Topoi: The Categorial Analysis of Logic
Computational Logic
Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction
Set Theory: An Introduction to Large Cardinals
A Concise Introduction to Propositional Dynamic Logic
Forcing for Mathematicians
Badiou's Being and Event and the Mathematics of Set Theory
Formalisation de quelques structures initiales de la psychogenèse
Ensayo de Lógica Operatoria
The Continuum Companion to Philosophical Logic
Начала математики. Первая часть. Основные структуры анализа. Книга первая. Теория множеств
Cut Elimination in Categories
Basic Model Theory
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
Логическое введение в математику
Язык логики
Введение в математическую логику
Studied Flexibility: Categories and Types in Syntax and Semantics [PhD Thesis]
Введение в общую теорию множеств и функций
Математическая логика и теория алгоритмов: Учебное пособие
Азбука математической логики
Теория нумераций
Substructural Logics
Conditionals: From Philosophy to Computer Science
Papers on Time and Tense
The Development of Logic
The Logic of Desire: An Introduction to Hegel's Phenomenology of Spirit
Ockham's Theory of Terms: Part I of the Summa Logicae
REALISM, MEANING AND TRUTH
Deductive Logic
A study of Hegel's logic
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress
Hypothetical Syllogistic and Stoic Logic
Logic, Thought and Language
Heidegger and Ontological Difference
Metalogic
Многоцветная логика
Логика и философия
Логический словарь-справочник
Развитие теории множеств в XIX веке
Упражнения по логике
Логика
Теория множеств
Models of Peano Arithmetic
Жар холодных чисел и пафос бесстрастной логики
Наука логики
Iconographia Diatomologica. Annotated Diatom Micrographs
Вычислимое и невычислимое
1
2
3
4
...
11
12
13
14
15
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
