Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
A Study of Logics
The Boole-De Morgan Correspondence, 1842-1864
Arithmetic, Proof Theory, and Computational Complexity
Fibring Logics
Features and Fluents: The Representation of Knowledge About Dynamical Systems
An Introduction to Formal Logic
An Introduction to Formal Logic
An Introduction to Stability Theory
An Introduction to Stability Theory
Formal Number Theory and Computability: A Workbook
Beginning Model Theory: The Completeness Theorem and Some Consequences
Meaning and Argument. An Introduction to Logic Through Language
Choice Sequences: A Chapter of Instuitionistic Mathematics
Classical Propositional Operators: An Exercise in the Foundations of Logic
Elements of Intuitionism
Intuitionism: An introduction
Intuitionism: An Introduction
Intuitionism: An Introduction
Введение в математическую логику
Partiality, Modality, and Nonmonotonicity
Theorems, Corollaries, Lemmas, and Methods of Proof
Finite and Algorithmic Model Theory
Apartness and Uniformity: A Constructive Development
The Foundations of Mathematics
Proofs and Computations
Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic
Cylindric-like Algebras and Algebraic Logic
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
Proceedings of the Herbrand Symposium
A Tour Through Mathematical Logic
Constructible Sets with Applications
Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Logic Colloquium '77
Foundational Studies: Selected Works
Foundational Studies Selected Works
Classification Theory and the Number of Non-Isomorphic Models
Boole's Logic and Probability
Proceedings of the Third Scandinavian Logic Symposium
Proof Theory
Logic Colloquium '73, Proceedings of the Logic Colloquium
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium
Elementary Induction on Abstract Structures
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Model Theory
Logic in Algebraic Form: Three Languages and Theories
Word Problems: Decision Problems and the Burnside Problem in Group Theory
Truth, Syntax and Modality
The Metamathematics of Algebraic Systems: Collected Papers: 1936–1967
Proceedings of the Second Scandinavian Logic Symposium
Logic Colloquium '69
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
Constructive Order Types
The Collected Papers of Gerhard Gentzen
Intuitionistic Logic Model Theory and Forcing
SET THEORY
Logic, Methodology and Philosophy of Science III
The Problem of Inductive Logic
An Essay in Modal Logic
Problems in the Philosophy of Science
Elements of Mathematical Logic (Model Theory)
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
Aspects of Inductive Logic
Intuitionism An Introduction
Languages with Expressions of Infinite Length
Equivalents of the Axiom of Choice
Outlines of a Formalist Philosophy of Mathematics
Lincos: Design of a Language for Cosmic Intercourse
Computer Programming and Formal Systems
A Study in the Philosophy of Science
Foundations of Set Theory
Complete Theories
Mathematical Interpretation of Formal Systems
Nomological Statements and Admissible Operations
Language in Action: Categories, Lambdas and Dynamic Logic
Undecidable Theories
Logic Colloquium'87, Proceedings of the Colloquium held in Granada
Logic Colloquium '88, Proceedings of the Colloquium held in Padova
Logic, Methodology and Philosophy of Science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1
Logic Colloquium '85
Constructivism in Mathematics: An Introduction
Logic Colloquium '84
Foundations of Infinhesimal Stochastic Ankysis
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
Intensional Mathematics
Logic Colloquium '82
Southeast Asian Conference on Logic: Proceedings of the Logic Conference Singapore, 1981
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
Patras Logic Symposion
Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science
Set Theory. An Introduction to Independence Proofs
The Propositional Logic of Boethius
Quantification in Nonclassical Logic: Volume 1
Practical Logic
Substructural Logics: A Primer
1
2
3
4
...
14
15
16
17
18
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
