<図書>
Studies in logic and the foundations of mathematics
出版者 | Amsterdam ; Tokyo : North-Holland |
---|---|
本文言語 | und |
一般注記 | Publisher changes to Elsevier NCID:AA00851874 |
目次/あらすじ
子書誌情報を非表示
1 | v. 68 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc Amsterdam : North-Holland , 1973 |
2 | 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 |
3 | 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 |
4 | 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 |
5 | 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 |
6 | 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 |
7 | 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 |
8 | 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 |
9 | 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 |
書誌詳細を非表示
データ種別 | 図書 |
---|---|
書誌ID | 2000019161 |
ISBN | 0720422000 |
NCID | BA00099329 |
この資料の利用統計
このページへのアクセス回数:2回
※2017年9月4日以降
全貸出数:0回
(3か月以内の貸出:0回)