Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Frege's logic
Foundations of the formal sciences V: Infinite games
Foundations of the formal sciences 1: the history of the concept of the formal sciences
Formalizing medieval logical theories: Suppositio, consequentiae and obligationes
Formal number theory and computability: a workbook
Forcing, iterated ultrapowers, and Turing degrees
First order mathematical logic
Философская логика. Истоки и эволюция
Feferman on foundations. Logic, mathematics, philosophy
Features and fluents. Vol.1: The representation of knowledge about dynamical systems
Extensions of first order logic
Elements of intuitionism
Elementary logic
Dynamic formal epistemology
Dynamic Epistemic Logic. Synthese Library, Volume 337
Dualities for structures of applied logics
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Diamond, a paradox logic
Diamond, a paradox logic
Descriptor revision. Belief change through direct choice
Descriptive complexity, canonisation, and definable graph structure theory
Dependence logic: A new approach to independence friendly logic
Delta - a paradox logic
Course of mathematical logic. Vol.2: Model theory
Course of mathematical logic. Vol.1: Relation and logical formula
Constructive negations and paraconsistency
Conditional and preferential logics: proof methods and theorem proving
Computation as logic
Completeness theory for propositional logics
Stochastic coalgebraic logic
Classical propositional operators: an exercise in the foundations of logic
Classical and new paradigms of computation and their complexity hierarchies: papers of the conference "Foundations of the Formal Sciences III
Choice sequences: a chapter of intuitionistic mathematics
Categorical logic and type theory
Cardinal Invariants on Boolean Algebras: Second Revised Edition
Book of proof
Beginning model theory: the completeness theorem and some consequences
Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
Aristotle's modal syllogisms
Aristotle's modal proofs. Prior Analytics A8-22 in predicate logic
Analysis and synthesis of logics: How to cut and paste reasoning systems
An introduction to stability theory
An introduction to logic
Algebra, logic, set theory: Festschrift Ulrich Felgner
Advances in modal logic 04
Advances in modal logic 03
Abstraction, refinement and proof for probabilistic systems
A study of logics
A shorter model theory
A primer of probability logic
A new perspective on nonmonotonic logics
A logical theory of nonmonotonic inference and belief change
A logic book: Fundamentals of reasoning
A dictionary of philosophical logic
A course in mathematical logic for mathematicians
A concise introduction to logic
A Boole anthology: Recent and classical studies in the logic of George Boole
Bevezetés a matematikai logikába
Calcul en logique du premier ordre
Logique arithmétique : L’arithmétisation de la logique
Categorical Logic and Type Theory
La logique facile
Logique floue, principes, aide à la décision
Schaum’s Outline of Logic
Shooting Star: The Brief and Brilliant Life of Frank Ramsey
Knowledge and Inquiry: Essays on Jaakko Hintikka’s Epistemology and Philosophy of Science
Foundations of Mathematics and Other Logical Essays
Handbook of Philosophical Logic
Non-archimedean tame topology and stably dominated types
Teoria assiomatica degli insiemi
Introduzione alla logica formale
The Continued Exercise of Reason: Public Addresses by George Boole
The Power of Logic
Nmhcf keto
How to Prove It: A Structured Approach
Einführung in die mathematische Logik
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Formal Theories of Truth
Godel’s Theorem Simplified
Argomenti di logica
New Directions in the Philosophy of Mathematics: An Anthology
A Profile of Mathematical Logic
What is Mathematical Logic?
Introduction to mathematical logic
Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах.
Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах.
A Course in Model Theory
Alfred Tarski: Life and Logic
Jakościowa teoria informacji
Cybernetyczna teoria układów samodzielnych
Logic: An Introduction to Elementary Logic
The Magic Garden of George B and Other Logic Puzzles
A Guide to Classical and Modern Model Theory
Substructual Logics: A Primer
Types, Tableaus, and Gödel’s God
Mengenlehre
Elementare Axiome der Mengenlehre-Einführung in die Allgemeine Mengenlehre
Le Fantôme de la Transparence
Logic and Philosophy Today
Logic and Philosophy Today
1
2
3
4
...
5
6
7
8
9
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
