著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
41
- Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
-
editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
North-Holland 1986 Studies in logic and the foundations of mathematics v. 120
所蔵館38館
-
42
- Logic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983
-
edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
North-Holland 1986 Studies in logic and the foundations of mathematics v. 114
所蔵館49館
-
43
- Theory of relations
-
R. Fraïssé ; [translated by P. Clote]
North-Holland 1986 Studies in logic and the foundations of mathematics v. 118
所蔵館47館
-
44
- Foundations of infinitesimal stochastic analysis
-
K.D. Stroyan and José Manuel Bayod
North-Holland 1986 Studies in logic and the foundations of mathematics v. 119
所蔵館43館
-
45
- The lambda calculus : its syntax and semantics
-
H.P. Barendregt
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada Elsevier Science, 1985 Revised ed Studies in logic and the foundations of mathematics v. 103
pbk
所蔵館8館
-
46
- Harvey Friedman's research on the foundations of mathematics
-
edited by L.A. Harrington ... [et al.]
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. c1985 Studies in logic and the foundations of mathematics v. 117
所蔵館7館
-
47
- Equivalents of the axiom of choice, II
-
Herman Rubin and Jean E. Rubin
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1985 Studies in logic and the foundations of mathematics v. 116
所蔵館48館
-
48
- Intensional mathematics
-
edited by Stewart Shapiro
North-Holland 1985 Studies in logic and the foundations of mathematics v. 113
所蔵館45館
-
49
- Harvey Friedman's research on the foundations of mathematics
-
edited by L. A. Harrington ... [et al.]
North-Holland 1985 Studies in logic and the foundations of mathematics v. 117
所蔵館35館
-
50
- Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982
-
edited by G. Lolli, G. Longo, and A. Marcja
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1984 Studies in logic and the foundations of mathematics v. 112
: U.S.
所蔵館37館
-
51
- Combinatorial set theory : partition relations for cardinals
-
Paul Erdős ... [et al.]
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1984 Studies in logic and the foundations of mathematics v. 106
所蔵館54館
-
52
- The lambda calculus : its syntax and semantics
-
H.P. Barendregt
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. 1984 Rev. ed. Studies in logic and the foundations of mathematics v. 103
: pbk
所蔵館77館
-
53
- Topoi : the categorial analysis of logic
-
Robert Goldblatt
North-Holland 1984 Rev. ed Studies in logic and the foundations of mathematics v. 98
所蔵館44館
-
54
- Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
-
edited by C.-T. Chong and M.J. Wicks
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1983 Studies in logic and the foundations of mathematics v. 111
(U.S.)
所蔵館39館
-
55
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
-
Andrzej Mostowski
Greenwood Press 1982 Studies in logic and the foundations of mathematics
所蔵館1館
-
56
- Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
-
edited by George Metakides
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1982 Studies in logic and the foundations of mathematics v. 109
: us
所蔵館37館
-
57
- Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
-
edited by D. van Dalen, D. Lascar, T.J. Smiley
North-Holland Pub. Co , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1982 Studies in logic and the foundations of mathematics v. 108
所蔵館40館
-
58
- Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
-
edited by L. Jonathan Cohen ... [et al.]
North-Holland Pub. Co. , PWN--Polish Scientific Publishers , Sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1982 Studies in logic and the foundations of mathematics v. 104
: us
所蔵館51館
-
59
- The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
-
edited by A.S. Troelstra and D. van Dalen
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1982 Studies in logic and the foundations of mathematics v. 110
所蔵館45館
-
60
- Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
-
edited by J. Stern
North-Holland 1982 Studies in logic and the foundations of mathematics v. 107
所蔵館47館