Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Logic Colloquium '80 (no TOC)
Normalization, cut-elimination and the theory of proofs
Constructivism in mathematics: An introduction
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
Basic Proof Theory
Logic Colloquium '85: Proceedings Orsay, 1985
A formalization of set theory without variables
Proof Theory
Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971
Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971
Foundations of Infinitesimal Stochastic Analysis
Introduction to logical theory
Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981
Lectures on the Curry-Howard Isomorphism
Understanding truth
Theory of formal systems
Metamathematics, machines and Goedel's proof
Семантика модальных и интенсиональных логик
Logic for computer scientists
Contributions to Mathematical Logic (Logic Colloquium '66)
Saturated Model Theory
Admissibility of Logical Inference Rules
Геометрические приложения алгебры логики
Logic Colloquium '73: Proceedings Bristol, 1973
Complete Theories
Введение в теорию моделей и метаматематику алгебры
Nomological statements and admissible operations
A Concise Introduction to Mathematical Logic
Set theory and its logic
Methods of logic
Проблемы конструктивного направления в математике
Model Theory and Modules
Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991
Logic colloquium '84: Proceedings Manchester, 1984
Substructural logics: A primer
Classical Recursion Theory: Volume II
Structural proof theory
Selected papers on automath
Logic, methodology and philosophy of science: Proceedings Stanford, 1960
Foundational Studies: Selected Works
Foundational Studies: Selected works
Truth and consequence in mediaeval logic
Упражнения по основам математической логики. Формальные системы первого порядка
Games, logic, and constructive sets
An introduction to model theory
Patras logic symposion: Proceedings Patras, 1980
Aristotle's modal syllogisms
Toward a systematic pragmatics
Systems of logic
Logic, methodology and philosophy of science VII: Proceedings Salzburg, 1983
A Course in Mathematical Logic for Mathematicians
The metamathematics of algebraic systems: Collected papers 1936-1967
Relation algebras
Logic Colloquium '77: Proceedings Wroclaw, 1977
R-множества
Contributions to Non-Standard Analysis
The Logical Systems of Lesniewski
Logic Colloquium '82: Proceedings Florence, 1982
Логические исследования (сборник статей)
Truth, syntax and modality: Proceedings Philadelphia, 1970
Problems in the philosophy of science: Proceedings London, 1965
The problem of inductive logic: Proceedings London, 1965
Set theory, with an introduction to descriptive set theory
Set Theory
The Foundations of Mathematics
Tools and Techniques in Modal Logic
A structuralist theory of logic
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Languages with Expressions of Infinite Length
Proceedings of the Third Scandinavian Logic Symposium: Uppsala, 1973
Categorical Logic and Type Theory
Model Theory
Conference in mathematical logic - London ’70
Relation algebras by games
Aspects of Inductive Logic
Fundamentals of Mathematical Logic
Intuitionism: An Introduction
The axiomatic method with special reference to geometry and physics: Proc. Berkeley, 1957-8
Book of proof
Open days in model theory and set theory: Proceedings Jadwisin, 1981
Математическая логика и теория алгоритмов
Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia
Advances in linear logic
Logic Colloquium '69: Proceedings Manchester, 1969
Collected works of A. M. Turing. Volume 4: Mathematical Logic
Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976
Residuated lattices: An algebraic glimpse at substructural logics
Handbook of the History of Logic. Volume 5: Logic from Russell to Church
Quantification in Nonclassical Logic
Many-Dimensional Modal Logics: Theory and Applications
Lincos: Design of a Language for Cosmic Intercourse. Part 1
Inexhaustibility: A non-exhaustive treatment
Theory of relations
Foundations of Set Theory
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium
Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium
Logic, Methodology and Philosophy of Science VIII: Proceedings Moscow, 1987
Logic Colloquium '87: Proceedings Granada, 1987
Truth and other enigmas
1
2
3
4
...
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
