このページのリンク

他の検索サイト

Studies in logic and the foundations of mathematics

子書誌情報を非表示

1 v. 61 Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 / Ed. by R.O. Gandy and C.M.E. [sic] Yates Amsterdam : North-Holland , 1971
2 Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz] Amsterdam ; London : North-Holland , 1970
3 v. 62 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / [By] H. Jerome Keisler Amsterdam : North-Holland Pub. Co. , 1971
4 v. 63 Proceedings of the Second Scandinavian Logic Symposium / ed. by J. E. Fenstad Amsterdam : North-Holland Pub. Co. , 1971
5 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
6 Abstract set theory / Abraham Adolf Fraenkel 3. rev. ed. - Amsterdam : North-Holland , 1966
7 v. 67 Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy, with the collaboration of Dirk van Dalen 2nd rev. ed. - Amsterdam : North-Holland , 1973
8 v. 68 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc Amsterdam : North-Holland , 1973
9 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R.E. Vesley Amsterdam : North-Holland Pub. Co. , 1970
10 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
11 73 Model theory / C.C. Chang and H.J. Keisler Amsterdam ; New York : North-Holland Pub. Co., 1973
12 v. 73 Model theory / C.C. Chang and H.J. Keisler 3rd ed. - Amsterdam ; Tokyo : North-Holland. - New York, NY : Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc. , 1990
13 v. 74 Logic, methodology and philosophy of science IV : Proceedings / edited by Patrick Suppes [et al.] : ne,: us. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1973
14 Constructible sets with applications / A. Mostowski Amsterdam : North-Holland , 1969
15 v. 75 The axiom of choice / Thomas J. Jech : ne,: us. - Amsterdam : North-Holland , 1973
16 v. 76 Set theory : an introduction to large cardinals / Frank R. Drake Elsevier,North-Holland. - Amsterdam : North-Holland , 1974
17 v. 78 An algebraic approach to non-classical logics / Helena Rasiowa Amsterdam : North-Holland. - New York : American Elsevier , 1974
18 The foundations of mathematics : a study in the philosophy of science / Evert W. Beth 2nd rev. ed.. - Amsterdam : North-Holland , 1965
19 Ordinal algebras / by Alfred Tarski with appendices by Chen-Chung Chang and Bjarni Jónsson Amsterdam : North-Holland Pub. Co. , 1956
20 v. 79 Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman : North-Holland,: American Elsevier. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974
21 v. 80 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / edited by H.E. Rose and J.C. Shepherdson : North-Holland,: American Elsevier. - Amsterdam ; Oxford : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975
22 v. 81 Proof theory / Gaisi Takeuti American Elsevier,North-Holland. - Amsterdam : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975
23 Logic, methodology and philosophy of science : proceedings of the 1964 International Congress / edited by Yehoshua Bar-Hillel Amsterdam : North-Holland Pub. Co. , 1965
24 v. 82 Proceedings of the third Scandinavian Logic Symposium / edited by Stig Kanger Amsterdam : North-Holland. - New York : American Elsevier , 1975
25 v. 83 Large infinitary languages : model theory / M.A. Dickmann : series,: North-holland,: (Elsevier). - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1975
26 v. 85 Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin : ne,: us. - Amsterdam : North-Holland , 1976
27 Complete theories Amsterdam : North-Holland Pub. Co. , 1956
28 v. 86 Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski 2d completely rev. ed. - Amsterdam : North-Holland Pub. Co.. - New York : distributor, Elsevier/North-Holland , 1976
29 v. 87 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland , 1977
30 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 / ed. by Yehoshua Bar-Hillel Amsterdam : North-Holland Pub. Co. , 1970
31 Non-standard analysis / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1966
32 Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig v. 1,v. 2. - Amsterdam : North-Holland Pub. Co. , 1958-1972
33 Mathematical interpretation of formal systems / Th. Skolem ... [et al.] 2nd ed. - Amsterdam : North-Holland Pub. Co. , 1971
34 Dictionary of symbols of mathematical logic / Edited by Robert Feys and Frederic B. Fitch Amsterdam : North-Holland Pub. Co. , c1969
35 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
36 v. 97 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon Amsterdam ; New York : North-Holland Pub. Co.. - New York : Elsevier North-Holland, sole distributors for the U.S.A. and Canada , 1979
37 v. 98 Topoi : the categorial analysis of logic / Robert Goldblatt Rev. ed. - Amsterdam : North-Holland , 1984
38 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
39 v. 135 Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini Amsterdam ; Tokyo : Elsevier Science B.V. , 1996
40 v. 136 Admissibility of logical inference rules / Vladimir V. Rybakov Amsterdam ; Tokyo : Elsevier Science B.V. , c1997

書誌詳細を非表示

出版情報 Amsterdam ; Tokyo : North-Holland
一般注記 Publisher changes to Elsevier
NCID:AA00851874
本文言語 und
書誌ID TB10012284
ISBN 0720422000
NCID BA00099329
巻冊次 ISBN:0720422000
目次／あらすじ