＜図書＞
Studies in logic and the foundations of mathematics
| 出版者 | Amsterdam ; Tokyo : North-Holland |
|---|---|
| 本文言語 | und |
| 一般注記 | Publisher changes to Elsevier NCID:AA00851874 |
目次／あらすじ
子書誌情報を非表示
| 1 | v. 64, 115 Cylindric algebras / [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski pt. 1,pt. 2. - Amsterdam : North-Holland Pub. Co. , 1971-1985 |
| 2 | v. 68 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc Amsterdam : North-Holland , 1973 |
| 3 | v. 72 Logic in algebraic form : three languages and theories / William Craig : us,: ne. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974 |
| 4 | v. 88 Algebra of proofs / M. E. Szabo Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978 |
| 5 | v. 90 Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.] : pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977 |
| 6 | v. 100 Descriptive set theory / Yiannis N. Moschovakis : ne,: us. - Amsterdam ; New York : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier-North Holland , 1980 |
| 7 | v. 101 The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980 |
| 8 | v. 102 Set theory : an introduction to independence proofs / Kenneth Kunen : hard,: [soft]. - Amsterdam : North-Holland Pub. Co. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1980 |
| 9 | v. 103 The lambda calculus : its syntax and semantics / H.P. Barendregt Amsterdam ; New York : North-Holland Pub.. - New York : sole distributors for the U.S.A. and Canada Elsevier North-Holland , 1981 |
| 10 | v. 103 The lambda calculus : its syntax and semantics / H.P. Barendregt : pbk. - Rev. ed.. - Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. , 1984 |
| 11 | v. 104 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.] : us. - Amsterdam ; New York : North-Holland Pub. Co.. - Warszawa : PWN--Polish Scientific Publishers. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1982 |
| 12 | v. 105 Fundamentals of generalized recursion theory / Melvin Fitting Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , c1981 |
| 13 | v. 106 Combinatorial set theory : partition relations for cardinals / Paul Erdős ... [et al.] Amsterdam ; New York : North-Holland Pub. Co.. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1984 |
| 14 | v. 107 Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / edited by J. Stern Amsterdam ; Oxford : North-Holland , 1982 |
| 15 | v. 108 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 Amsterdam ; New York : North-Holland Pub. Co. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1982 |
| 16 | v. 109 Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides : us. - Amsterdam ; New York : North-Holland Pub. Co.. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1982 |
| 17 | v. 110 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 Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science , 1982 |
| 18 | v. 113 Intensional mathematics / edited by Stewart Shapiro Amsterdam ; London : North-Holland , 1985 |
| 19 | v. 114 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 Amsterdam ; Tokyo : North-Holland , 1986 |
| 20 | v. 116 Equivalents of the axiom of choice, II / Herman Rubin and Jean E. Rubin Amsterdam ; New York : North-Holland. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985 |
| 21 | v. 117 Harvey Friedman's research on the foundations of mathematics / edited by L. A. Harrington ... [et al.] Amsterdam : North-Holland , 1985 |
| 22 | v. 118 Theory of relations / R. Fraïssé ; [translated by P. Clote] Amsterdam ; New York : North-Holland , 1986 |
| 23 | v. 119 Foundations of infinitesimal stochastic analysis / K.D. Stroyan and José Manuel Bayod Amsterdam : North-Holland , 1986 |
| 24 | v. 120 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers Amsterdam ; Tokyo : North-Holland , 1986 |
| 25 | v. 122 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group : U.S.. - Amsterdam ; Tokyo : North-Holland , 1987 |
書誌詳細を非表示
| データ種別 | 図書 |
|---|---|
| 書誌ID | 2000019161 |
| ISBN | 0720422000 |
| NCID | BA00099329 |
この資料の利用統計
このページへのアクセス回数：2回
※2017年9月4日以降
全貸出数：0回
(3か月以内の貸出：0回)