Studies in Logic and the Foundations of Mathematics

Links for eMule (download books in PDF and DJVU formats for free)

Full list of volumes

Before 1993 — published by North-Holland Publushing Company
After 1993 — published by Elsevier Science B.V.

Volume 153 (2009) Quantification in Nonclassical Logic - Volume 1
Volume 152 (2008) Realizability: An Introduction to its Categorical Side
Volume 151 (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Volume 150 (2006) Relation Algebras
Volume 149 (2006) Lectures on the Curry-Howard Isomorphism
Volume 148 (2003) Many-Dimensional Modal Logics - Theory and Applications
Volume 147 (2002) Relation Algebras by Games
Volume 146 (2001) Rudiments of μ-Calculus
Volume 145 (2000) Theory of Relations
Volume 144 (2000) Computable Structures and the Hyperarithmetical Hierarchy
Volume 143 (1999) Classical Recursion Theory. Volume 2
Volume 142 (1999) Tools and Techniques in Modal Logic
Volume 141 (1998) Categorical logic and type theory
Volume 140 (1999) Handbook of Computability Theory
Volume 139 (1998) Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics
Volume 138 (1998) Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory
Volume 137 (1998) Handbook of Proof Theory
Volume 136 (1997) Admissibility of Logical Inference Rules
Volume 135 (1996) Logical Frameworks for Truth and Abstraction - An Axiomatic Study
Volume 134 (1994) Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science
Volume 133 (1994) Selected Papers on Automath
Volume 132 (1994) Hausdorff Gaps and Limits
Volume 131 (1992) Recursive Functionals
Volume 130 (1991) Language in Action - Categories, Lambdas and Dynamic Logic
Volume 129 (1989) Logic Colloquium'87, Proceedings of the Colloquium held in Granada
Volume 128 (1989) Computability, Complexity, Logic
Volume 127 (1989) Logic Colloquium '88, Proceedings of the Colloquium held in Padova
Volume 126 (1989) Logic, Methodology and Philosophy of Science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science
Volume 125 (1992) Classical Recursion Theory. Volume 1
Volume 124 (1987) Logic Colloquium '86, Proceedings of the Colloquium held in Hull
Volume 123 Constructivism in Mathematics. An Introduction
Volume 122 (1987) Logic Colloquium '85
Volume 121 (1988) Constructivism in Mathematics - An Introduction
Volume 120 (1986) Logic Colloquium '84
Volume 119 (1986) Foundations of Infinitesimal Stochastic Analysis
Volume 118 (1986) Theory of Relations - R.Fraisse
Volume 117 (1985) Harvey Friedman's Research on the Foundations of Mathematics
Volume 116 (1985) Equivalents of the Axiom of Choice, II
Volume 115 (1985) Cylindric Algebras. Part II
Volume 114 (1986) Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
Volume 113 (1985) Intensional Mathematics
Volume 112 (1984) Logic Colloquium '82
Volume 111 (1983) Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981
Volume 110 (1982) The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
Volume 109 (1982) Patras Logic Symposion
Volume 108 (1982) Logic Colloquium'80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic
Volume 107 (1982) Logic Colloquium'81 - Proceedings of the Herbrand Symposium
Volume 106 (1984) Combinatorial Set Theory: Partition Relations for Cardinals
Volume 105 (1981) Fundamentals of Generalized Recursion Theory
Volume 104 (1982) Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science
Volume 103 (1984) The Lambda Calculus: Its Syntax and Semantics - H. P. Barendregt
Volume 102 (1980) Set Theory An Introduction to Independence Proofs
Volume 101 (1980) The Kleene Symposium
Volume 100 (1980) Descriptive Set Theory
Volume 99 (1980) Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Volume 98 (1979) Topoi. A Categorial Analysis of Logic
Volume 97 (1979) Logic Colloquium '78, Proceedings of the colloquium held in Mons
Volume 96 (1978) Logic Colloquium '77
Volume 95 (1980) Word Problems, Part II
Volume 94 (1978) Generalized Recursion Theory II - Proceedings of the 1977 Oslo Symposium
Volume 93 (1979) Foundational Studies. Selected Works. Part 1 and 2
Volume 92 (1978) Classification Theory
Volume 91 (1977) Combinatorial Set Theory
Volume 90 (1977) Handbook of Mathematical Logic
Volume 89 (1977) Non-Classical Logics, Model Theory, And Computability
Volume 88 (1978) Algebra of Proofs
Volume 87 (1977) Logic Colloquium'76, Proceedings of a conference
Volume 86 (1976) Set Theory. With an Introduction to Descriptive Set Theory
Volume 85 (1986) Boole's Logic and Probability
Volume 84 (1976) Sets and Classes. On The Work by Paul Bernays
Volume 83 (1975) Large Infinitary Languages - Model Theory
Volume 82 (1975) Proceedings of the Third Scandinavian Logic Symposium
Volume 81 (1975) Proof Theory
Volume 80 (1975) Logic Colloquium'73, Proceedings of the Logic Colloquium
Volume 79 (1974) Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium
Volume 78 (1974) An Algebraic Approach to Non-Classical Logics
Volume 77 (1974) Elementary Induction on Abstract Structures
Volume 76 (1974) Set Theory - An Introduction to Large Cardinals
Volume 75 (1973) The Axiom of Choice
Volume 74 (1973) Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Volume 73 (1973) Model Theory
Volume 72 (1974) Logic in Algebraic Form - Three Languages and Theories
Volume 71 (1973) Word Problems - Decision Problems and the Burnside Problem in Group Theory
Volume 70 (1972) The Theory of Semisets
Volume 69 (1972) Contributions to Non-Standard Analysis
Volume 68 (1973) Truth, Syntax and Modality
Volume 67 (1973) Foundations of Set Theory - Second Revised Edition
Volume 66 (1971) The Metamathematics of Algebraic Systems - Collected Papers: 1936-1967
Volume 65 (1972) Combinatory Logic. Volume II
Volume 64 (1971) Cylindric Algebras. Part I - Leon Henkin, J. Donald Monk, Alfred Tarski
Volume 63 (1971) Proceedings of the Second Scandinavian Logic Symposium
Volume 62 (1971) Model Theory For Infinitary Logic
Volume 61 (1971) Logic Colloquium'69
Volume 60 (1970) Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Volume 59 (1970) Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
Volume 58
Volume 57 (1969) Constructible Sets with Applications
Volume 56 (1969) Constructive Order Types
Volume 55 (1969) The Collected Papers of Gerhard Gentzen
Volume 54 (1969) Intuitionistic Logic Model Theory and Forcing
Volume 53 (1968) Set Theory
Volume 52 (1968) Logic, Methodology and Philosophy of Science III
Volume 51 (1968) The Problem of Inductive Logic
Volume 50 (1968) Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966
Volume 49 (1968) Problems in the Philosophy of Science
Volume 48 (1967) Elements of Mathematical Logic - (Model Theory)
Volume 47 (1967) Problems in the Philosophy of Mathematics
Volume 46 (1967) Sets, Models and Recursion Theory
Volume 45 (1966) A Deductive Theory of Space and Time
Volume 44 (1966) Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
Volume 43 (1966) Aspects of Inductive Logic
Volume 42 (1966) Non-Standard Analysis
Volume 41 (1966) Intuitionism An Introduction
Volume 40 (1965) Formal Systems and Recursive Functions
Volume 39 (1965) The Foundations of Intuitionistic Mathematics
Volume 38 (1965) Introduction to the Theory of Finite Automata
Volume 37 (1965) A Transfinite Type Theory with Type Variables
Volume 36 (1964) Languages with Expressions of Infinite Length
Volume 35 (1963) Computer Programming and Formal Systems
Volume 34 (1970) Equivalents of the Axiom of Choice, I
Volume 33 (1963) A Survey of Mathematical Logic
Volume 32 (1963) Introduction to Model Theory and to the Metamathematics of Algebra
Volume 31 (1963) Aristotle's Modal Syllogisms
Volume 30 (1962) The Logical Systems of Lesniewski
Volume 29 (1961) Recursive Analysis
Volume 28 (1960) Lincos - Design of a Language for Cosmic Intercourse
Volume 27 (1959) The Axiomatic Method, with Special Reference to Geometry and Physics
Volume 26 (1959) Constructivity in Mathematics: Proceedings of the colloquium held at Amsterdam, 1957
Volume 25 (1959) A Study in the Philosophy of Science
Volume 24 (1959) Toward a Systematic Pragmatics
Volume 23 (1958) Foundations of Set Theory
Volume 22 (1958) Combinatory Logic. Volume I
Volume 21 (1958) Axiomatic Set Theory
Volume 20 (1957) Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
Volume 19 (1956) Ordinal Algebras
Volume 18 (1956) Complete Theories
Volume 17 (1956) Intuitionism an Introduction
Volume 16 (1955) Mathematical Interpretation of Formal Systems
Volume 15 (1954) Solvable Cases of the Decision Problem
Volume 14 (1954) Nomological Statements and Admissible Operations
Volume 13 (1953) Undecidable Theories
Volume 12 (1953) Abstract Set Theory
Volume 11 (1953) Truth and Consequence in Mediaeval Logic
Volume 10 (1952) Sentences Undecidable in Formalized Arithmetic - An Exposition of the Theory of Kurt godel
Volume 9
Volume 8
Volume 7 (1952) Many-Valued Logics
Volume 6
Volume 5 (1951) An Essay in Modal Logic
Volume 4 (1951) On the Metamathematics of Algebra
Volume 3 (1951) Outlines of a Formalist Philosophy of Mathematics
Volume 2 (1951) Ancient Formal Logic
Volume 1 (1951) The Propositional Logic of Boethius