Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Recursion theory, its generalisations and applications: Proceedings Leeds, 1979
Proceedings of the 07th & 08th Asian Logic Conferences
An introduction to independence for analysts
Outlines of a formalist philosophy of mathematics
Formal Systems and Recursive Functions (Logic Colloquium'63)
Constructive Order Types
Models and computability: Invited papers from Logic Colloquium ’97
Computability, enumerability, unsolvability: Directions in recursion theory
Set Theory and the Continuum Hypothesis
Logic, methodology and philosophy of science VI: Proceedings Hannover, 1979
The limits of science: Outline of logic and of the methodology of the exact sciences
Southeast Asian Conference on Logic: Proceedings Singapore, 1981
The Game of Logic
Type-Logical Semantics
Logical syntax of language
Logical frameworks for truth and abstraction: An axiomatic study
Handbook of Proof Theory
Mineralogical applications of crystal field theory
Computer programming and formal systems
Word Problems. Decision Problems and the Burnside Problem in Group Theory
The Logic of Provability
Logic, sets and functions
Logic Colloquium '78: Proceedings Mons, 1978
Ancient Formal Logic
The foundations of analysis, - Logic, sets and numbers
Coding the universe
Quality and concept
A deductive theory of space and time (no TOC)
The Kleene Symposium: Proceedings Madison, 1978
Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968
Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Mathematical logic in Latin America: Proceedings Santiago, 1978
Rudiments of mu-calculus
Fundamentos de logica matematica y computacion
Логика и компьютер
Word Problems II: The Oxford Books. Proceedings Oxford, 1976
Tibetan Logic
Phonological change
Phonological change
Математическая теория логического вывода
A Theory of phonological wieght
Полный мануал для программы Emagic Logic Audio Platinum 5
Logic Pro 8: Audio and Music Production
Развиваем логику. Моторика,логика,речь. Детям от 5 лет
Логика
Математическая логика
Степени неразрешимости
Проблемы логики
Интуиционизм
Математическая логика
Теория насыщенных моделей
Математическая логика
Отрицательные высказывания
Логика. Автоматы. Алгоритмы
Философские вопросы современной формальной логики
The Pure Logic Of Choice
Conditional and Preferential Logics: Proof Methods and Theorem Proving
A Structuralist Theory of Logic
Standard Negation: The Negation of Declarative Verbal Main Clauses in a Typological Perspective
Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Logical foundations of proof complexity
Regional Orders at Century's Dawn
Bargaining with the State
Richard Stallman et la revolution des logiciels libres
Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence [PhD Thesis]
New Perspectives on Games and Interaction
Logica Universalis: Towards a General Theory of Logic
Basic Proof Theory
Mind Bafflers
Globalisms: The Great Ideological Struggle of the Twenty-First Century
Subsystems of second order arithmetic
Metamathematics, Machines and Gödel's Proof
Logic Colloquium 2006
Logic and Computation: Interactive Proof with Cambridge LCF
Deductive and Declarative Programming
Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives
On the Logic of Ordinary Conditionals
The Neurophysiological Bases of Auditory Perception
Understanding Symbolic Logic (5th Edition)
Proof Theory: History and Philosophical Significance
The Development of Modern Logic
Control Using Logic-Based Switching
The Logic of Warfighting Experiments
Belief Revision
Logical Tools for Handling Change in Agent-Based Systems
The Theory of Gambling and Statistical Logic, Second Edition
Inexhaustibility: A Non-Exhaustive Treatment
Stochastic Coalgebraic Logic
The Logic of Provability
Logic and Philosophy of Mathematics in the Early Husserl
Going Pro with Logic Pro 8 (Book)
The Logic of Markedness
Basic Logic Fundamental Princples of Edition
Handbook of the History of Logic. Volume 08: The Many Valued and Nonmonotonic Turn in Logic
Logic
Logic: A Very Short Introduction
Introduction To The Theory Of Logic
Logical Frameworks for Truth and Abstraction: An Axiomatic Study
In the Light of Logic
1
2
3
4
...
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
