Jump to main content
図書

Studies in logic and the foundations of mathematics

Icons representing 図書

Studies in logic and the foundations of mathematics

Material type
図書
Author
-
Publisher
North-Holland
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

Publisher changes to ElsevierNCID:AA00851874

Related materials as well as pre- and post-revision versions

Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968Leave the NDL website. Toward a systematic pragmaticsLeave the NDL website. Foundations of set theoryLeave the NDL website. Classical recursion theory : the theory of functions and sets of natural numbersLeave the NDL website. Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967Leave the NDL website. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991Leave the NDL website. Intuitionism : An introductionLeave the NDL website. Outlines of a formalist philosophy of mathematicsLeave the NDL website. Problems in the philosophy of mathematicsLeave the NDL website. Generalized recursion theory II : proceedings of the 1977 Oslo symposiumLeave the NDL website. Logic, methodology and philosophy of science : proceedings of the 1964 International CongressLeave the NDL website. Elements of mathematical logic : (Model theory)Leave the NDL website. Introduction to model theory and to the metamathematics of algebraLeave the NDL website. Recursive functionalsLeave the NDL website. Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968Leave the NDL website. Recursive analysisLeave the NDL website. Model theoryLeave the NDL website. An algebraic approach to non-classical logicsLeave the NDL website. Elements of mathematical logic : (model theory)Leave the NDL website. Introduction to the theory of finite automataLeave the NDL website. Logical frameworks for truth and abstraction : an axiomatic studyLeave the NDL website. Non-standard analysisLeave the NDL website. Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963Leave the NDL website. Selected works, Jan LukasiewiczLeave the NDL website. Classical recursion theoryLeave the NDL website. Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt GödelLeave the NDL website. Proceedings of the Second Scandinavian Logic SymposiumLeave the NDL website. Axiomatic set theoryLeave the NDL website. Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969Leave the NDL website. Combinatory logicLeave the NDL website. Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967Leave the NDL website. Mathematical interpretation of formal systemsLeave the NDL website. Relation algebrasLeave the NDL website. Combinatory logicLeave the NDL website. The propositional logic of BoethiusLeave the NDL website. Set theory : with an introduction to descriptive set theoryLeave the NDL website. Toward a systematic pragmaticsLeave the NDL website. Many-dimensional modal logics : theory and applicationsLeave the NDL website. Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977Leave the NDL website. Elementary induction on abstract structuresLeave the NDL website. Undecidable theoriesLeave the NDL website. An essay in modal logicLeave the NDL website. Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966Leave the NDL website. Aspects of inductive logicLeave the NDL website. Classification theory and the number of non-isomorphic modelsLeave the NDL website. Model theoryLeave the NDL website. On the metamathematics of algebraLeave the NDL website. Apuleian logic : the nature, sources, and influence of Apuleius's Peri hermeneiasLeave the NDL website. Logic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983Leave the NDL website. Hypothetical reasoningLeave the NDL website. Realizability : an introduction to its categorical sideLeave the NDL website. Proof theoryLeave the NDL website. Truth and consequence in mediaeval logicLeave the NDL website. Recursive algebra, analysis and combinatoricsLeave the NDL website. Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978Leave the NDL website. Large infinitary languages : model theoryLeave the NDL website. Categorical logic and type theoryLeave the NDL website. Classification theory and the number of non-isomorphic modelsLeave the NDL website. Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976Leave the NDL website. Set theoryLeave the NDL website. Introduction to model theory and to the metamathematics of algebraLeave the NDL website. Constructivism in mathematics : an introductionLeave the NDL website. A survey of mathematical logicLeave the NDL website. Aristotle's modal syllogismsLeave the NDL website. Categorical logic and type theoryLeave the NDL website. The lambda calculus : its syntax and semanticsLeave the NDL website. Non-standard analysisLeave the NDL website. Recursive analysisLeave the NDL website. The theory of models : proceedings of the 1963 International Symposium at BerkeleyLeave the NDL website. Ancient formal logicLeave the NDL website. Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985Leave the NDL website. Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980Leave the NDL website. Equivalents of the axiom of choiceLeave the NDL website. A deductive theory of space and timeLeave the NDL website. Sets and classes : on the work by Paul BernaysLeave the NDL website. Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978Leave the NDL website. Lincos : design of a language for cosmic intercourseLeave the NDL website. The lambda calculus : its syntax and semanticsLeave the NDL website. Relation algebras by gamesLeave the NDL website. Contributions to non-standard analysisLeave the NDL website. Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic LogicLeave the NDL website. Word problems II : the Oxford bookLeave the NDL website. Truth and consequence in mediaeval logicLeave the NDL website. Tools and techniques in modal logicLeave the NDL website. Quantification in nonclassical logicLeave the NDL website. Foundational studies : selected worksLeave the NDL website. Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982Leave the NDL website. Solvable cases of the decision problemLeave the NDL website. Constructive order typesLeave the NDL website. Intuitionism : An introductionLeave the NDL website. Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965Leave the NDL website. Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969Leave the NDL website. Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987Leave the NDL website. Problems in the philosophy of mathematicsLeave the NDL website. The metamathematics of algebraic systems : collected papers, 1936-1967Leave the NDL website. Equivalents of the axiom of choiceLeave the NDL website. The theory of semisetsLeave the NDL website. The axiom of choiceLeave the NDL website. Proceedings of the third Scandinavian Logic SymposiumLeave the NDL website. Abstract set theoryLeave the NDL website. Residuated lattices : an algebraic glimpse at substructural logicsLeave the NDL website. Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987Leave the NDL website. Foundations of infinitesimal stochastic analysisLeave the NDL website. Problems in the philosophy of scienceLeave the NDL website. Recursive model theoryLeave the NDL website. Proof theoryLeave the NDL website. Nomological statements and admissible operationsLeave the NDL website. Abstract set theoryLeave the NDL website. Solvable cases of the decision problemLeave the NDL website. Computability, complexity, logicLeave the NDL website. Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968Leave the NDL website. Lectures on the Curry-Howard isomorphismLeave the NDL website. Undecidable theoriesLeave the NDL website. The theory of models : proceedingsLeave the NDL website. Computable structures and the hyperarithmetical hierarchyLeave the NDL website. Combinatorial set theory : partition relations for cardinalsLeave the NDL website. Topoi : the categorial analysis of logicLeave the NDL website. Harvey Friedman's research on the foundations of mathematicsLeave the NDL website. Rudiments of μ-calculusLeave the NDL website. The lambda calculus : its syntax and semanticsLeave the NDL website. Set theory : with an introduction to descriptive set theoryLeave the NDL website. Undecidable theoriesLeave the NDL website. Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryLeave the NDL website. Recursive number theory : a development of recursive arithmetic in a logic-free equation calculusLeave the NDL website. Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986Leave the NDL website. Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966Leave the NDL website. Set theory : an introduction to independence proofsLeave the NDL website. A transfinite type theory with type variablesLeave the NDL website. The problem of inductive logicLeave the NDL website. Language in action : categories, lambdas and dynamic logicLeave the NDL website. Introduction to model theory and to the metamathematics of algebraLeave the NDL website. An algebraic approach to non-classical logicsLeave the NDL website. Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981Leave the NDL website. The collected papers of Gerhard GentzenLeave the NDL website. Handbook of computability theoryLeave the NDL website. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981Leave the NDL website. Cylindric algebrasLeave the NDL website. Axiomatic set theoryLeave the NDL website. Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957Leave the NDL website. Dictionary of symbols of mathematical logicLeave the NDL website. Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryLeave the NDL website. Topoi : the categorial analysis of logicLeave the NDL website. Harvey Friedman's research on the foundations of mathematicsLeave the NDL website. The foundations of mathematics : a study in the philosophy of scienceLeave the NDL website. Word problems : decision problems and the Burnside problem in group theoryLeave the NDL website. Combinatorial set theoryLeave the NDL website. Set theory : an introduction to independence proofsLeave the NDL website. Truth, syntax and modality : proceedings of the Temple University Conference on Alternative SemanticsLeave the NDL website. Abstract set theoryLeave the NDL website. Many-valued logicsLeave the NDL website. Abstract set theoryLeave the NDL website. Introduction to model theory and to the metamathematics of algebraLeave the NDL website. Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984Leave the NDL website. Proof theoryLeave the NDL website. Set theory : an introduction to large cardinalsLeave the NDL website. The collected papers of Gerhard GentzenLeave the NDL website. Intensional mathematicsLeave the NDL website. Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981Leave the NDL website. The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Leave the NDL website. Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957Leave the NDL website. Handbook of proof theoryLeave the NDL website. The propositional logic of BoethiusLeave the NDL website. Generalized recursion theory II : proceedings of the 1977 Oslo symposiumLeave the NDL website. Axiomatic set theoryLeave the NDL website. Logic, methodology and philosophy of science IV : ProceedingsLeave the NDL website. Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt GödelLeave the NDL website. Mathematical interpretation of formal systemsLeave the NDL website. Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973Leave the NDL website. Proceedings of the Third Scandinavian Logic SymposiumLeave the NDL website. Model theoryLeave the NDL website. Many-valued logicsLeave the NDL website. Logic in algebraic form : three languages and theoriesLeave the NDL website. The foundations of mathematics : a study in the philosophy of scienceLeave the NDL website. Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963Leave the NDL website. The lambda calculus : its syntax and semanticsLeave the NDL website. Abstract set theoryLeave the NDL website. Complete theoriesLeave the NDL website. Equivalents of the axiom of choice, IILeave the NDL website. Set theoryLeave the NDL website. Recursive number theory : a development of recursive arithmetic in a logic-free equation calculusLeave the NDL website. Languages with expressions of infinite lengthLeave the NDL website. Admissibility of logical inference rulesLeave the NDL website. Fundamentals of generalized recursion theoryLeave the NDL website. Foundations of set theoryLeave the NDL website. Complete theoriesLeave the NDL website. Algebra of proofsLeave the NDL website. The foundations of intuitionistic mathematics : especially in relation to recursive functionsLeave the NDL website. Theory of relationsLeave the NDL website. Intuitionism : an introductionLeave the NDL website. Constructible sets with applicationsLeave the NDL website. Intuitionistic logic, model theory and forcingLeave the NDL website. Generalized recursion theory : proceedings of the 1972 Oslo symposiumLeave the NDL website. Ordinal algebrasLeave the NDL website. Classical recursion theory : the theory of functions and sets of natural numbersLeave the NDL website. Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988Leave the NDL website. Selected papers on AutomathLeave the NDL website. Theory of relationsLeave the NDL website. The logical systems of LesniewskiLeave the NDL website. Computer programming and formal systemsLeave the NDL website. Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976Leave the NDL website. Descriptive set theoryLeave the NDL website. Model theory for infinitary logic : logic with countable conjunctions and finite quantifiersLeave the NDL website. Non-standard analysisLeave the NDL website. The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958Leave the NDL website. Hausdorff gaps and limitsLeave the NDL website. The theory of functions and sets of natural numbersLeave the NDL website. Sets and classes : on the work by Paul BernaysLeave the NDL website. Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978Leave the NDL website. Handbook of mathematical logicLeave the NDL website. Recursive number theory : a development of recursive arithmetic in a logic-free equation calculusLeave the NDL website. Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979Leave the NDL website. Intuitionistic logic, model theory and forcingLeave the NDL website.

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0720422000
Publication, Distribution, etc.
Place of Publication (Country Code)
ne
Target Audience
一般
Note (General)
Publisher changes to Elsevier
NCID:AA00851874
Related Material
Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968
Toward a systematic pragmatics
Foundations of set theory
Classical recursion theory : the theory of functions and sets of natural numbers
Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Intuitionism : An introduction
Outlines of a formalist philosophy of mathematics
Problems in the philosophy of mathematics
Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
Elements of mathematical logic : (Model theory)
Introduction to model theory and to the metamathematics of algebra
Recursive functionals
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
Recursive analysis
Model theory
An algebraic approach to non-classical logics
Elements of mathematical logic : (model theory)
Introduction to the theory of finite automata
Logical frameworks for truth and abstraction : an axiomatic study
Non-standard analysis
Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Selected works, Jan Lukasiewicz
Classical recursion theory
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Proceedings of the Second Scandinavian Logic Symposium
Axiomatic set theory
Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969
Combinatory logic
Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
Mathematical interpretation of formal systems
Relation algebras
Combinatory logic
The propositional logic of Boethius
Set theory : with an introduction to descriptive set theory
Toward a systematic pragmatics
Many-dimensional modal logics : theory and applications
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
Elementary induction on abstract structures
Undecidable theories
An essay in modal logic
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Aspects of inductive logic
Classification theory and the number of non-isomorphic models
Model theory
On the metamathematics of algebra
Apuleian logic : the nature, sources, and influence of Apuleius's Peri hermeneias
Logic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983
Hypothetical reasoning
Realizability : an introduction to its categorical side
Proof theory
Truth and consequence in mediaeval logic
Recursive algebra, analysis and combinatorics
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Large infinitary languages : model theory
Categorical logic and type theory
Classification theory and the number of non-isomorphic models
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
Set theory
Introduction to model theory and to the metamathematics of algebra
Constructivism in mathematics : an introduction
A survey of mathematical logic
Aristotle's modal syllogisms
Categorical logic and type theory
The lambda calculus : its syntax and semantics
Non-standard analysis
Recursive analysis
The theory of models : proceedings of the 1963 International Symposium at Berkeley
Ancient formal logic
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Equivalents of the axiom of choice
A deductive theory of space and time
Sets and classes : on the work by Paul Bernays
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Lincos : design of a language for cosmic intercourse
The lambda calculus : its syntax and semantics
Relation algebras by games
Contributions to non-standard analysis
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
Word problems II : the Oxford book
Truth and consequence in mediaeval logic
Tools and techniques in modal logic
Quantification in nonclassical logic
Foundational studies : selected works
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982
Solvable cases of the decision problem
Constructive order types
Intuitionism : An introduction
Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965
Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969
Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987
Problems in the philosophy of mathematics
The metamathematics of algebraic systems : collected papers, 1936-1967
Equivalents of the axiom of choice
The theory of semisets
The axiom of choice
Proceedings of the third Scandinavian Logic Symposium
Abstract set theory
Residuated lattices : an algebraic glimpse at substructural logics
Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Foundations of infinitesimal stochastic analysis
Problems in the philosophy of science
Recursive model theory
Proof theory
Nomological statements and admissible operations
Abstract set theory
Solvable cases of the decision problem
Computability, complexity, logic
Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
Lectures on the Curry-Howard isomorphism
Undecidable theories
The theory of models : proceedings
Computable structures and the hyperarithmetical hierarchy
Combinatorial set theory : partition relations for cardinals
Topoi : the categorial analysis of logic
Harvey Friedman's research on the foundations of mathematics
Rudiments of μ-calculus
The lambda calculus : its syntax and semantics
Set theory : with an introduction to descriptive set theory
Undecidable theories
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986
Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966
Set theory : an introduction to independence proofs
A transfinite type theory with type variables
The problem of inductive logic
Language in action : categories, lambdas and dynamic logic
Introduction to model theory and to the metamathematics of algebra
An algebraic approach to non-classical logics
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
The collected papers of Gerhard Gentzen
Handbook of computability theory
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
Cylindric algebras
Axiomatic set theory
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Dictionary of symbols of mathematical logic
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Topoi : the categorial analysis of logic
Harvey Friedman's research on the foundations of mathematics
The foundations of mathematics : a study in the philosophy of science
Word problems : decision problems and the Burnside problem in group theory
Combinatorial set theory
Set theory : an introduction to independence proofs
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
Abstract set theory
Many-valued logics
Abstract set theory
Introduction to model theory and to the metamathematics of algebra
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
Proof theory
Set theory : an introduction to large cardinals
The collected papers of Gerhard Gentzen
Intensional mathematics
Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Handbook of proof theory
The propositional logic of Boethius
Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Axiomatic set theory
Logic, methodology and philosophy of science IV : Proceedings
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Mathematical interpretation of formal systems
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
Proceedings of the Third Scandinavian Logic Symposium
Model theory
Many-valued logics
Logic in algebraic form : three languages and theories
The foundations of mathematics : a study in the philosophy of science
Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
The lambda calculus : its syntax and semantics
Abstract set theory
Complete theories
Equivalents of the axiom of choice, II
Set theory
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Languages with expressions of infinite length
Admissibility of logical inference rules
Fundamentals of generalized recursion theory
Foundations of set theory
Complete theories
Algebra of proofs
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Theory of relations
Intuitionism : an introduction
Constructible sets with applications
Intuitionistic logic, model theory and forcing
Generalized recursion theory : proceedings of the 1972 Oslo symposium
Ordinal algebras
Classical recursion theory : the theory of functions and sets of natural numbers
Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
Selected papers on Automath
Theory of relations
The logical systems of Lesniewski
Computer programming and formal systems
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Descriptive set theory
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Non-standard analysis
The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
Hausdorff gaps and limits
The theory of functions and sets of natural numbers
Sets and classes : on the work by Paul Bernays
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Handbook of mathematical logic
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Intuitionistic logic, model theory and forcing
Data Provider (Database)
国立情報学研究所 : CiNii Research