このページのリンク

<図書>
Studies in logic and the foundations of mathematics

出版者 Amsterdam ; Tokyo : North-Holland
コード類 書誌ID=1000000998 NCID=BA00099329

書誌詳細を表示

本文言語 〔言語名不明〕
一般注記 Publisher changes to Elsevier
NCID:AA00851874
巻冊次 ISBN:0720422000

子書誌情報を非表示

1 Problems in the philosophy of mathematics / edited by Imre Lakatos Amsterdam : North-Holland Pub. Co. , 1967
2 Non-standard analysis / Abraham Robinson series,ne,us. - Rev. ed. - Amsterdam : North-Holland. - New York : American Elsevier , 1974
3 Set theory / [by] K. Kuratowski and A. Mostowski. Translated from Polish by M. Mączyński Amsterdam : North-Holland. - Warszawa : Polish Scientific Publishers , 1968
4 The foundations of mathematics : a study in the philosophy of science / Evert W. Beth 2nd rev. ed.. - Amsterdam : North-Holland , 1965
5 Abstract set theory / Abraham Adolf Fraenkel 3. rev. ed. - Amsterdam : North-Holland , 1966
6 A deductive theory of space and time / Saul A. Basri Amsterdam : North-Holland Pub. Co. , 1966
7 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein Amsterdam : North-Holland Pub. Co. , 1964
8 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
9 v. 62 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / [By] H. Jerome Keisler Amsterdam : North-Holland Pub. Co. , 1971
10 v. 63 Proceedings of the Second Scandinavian Logic Symposium / ed. by J. E. Fenstad Amsterdam : North-Holland Pub. Co. , 1971
11 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
12 v. 66 The metamathematics of algebraic systems : collected papers, 1936-1967 / Anatoliĭ Ivanovič Malʹcev ; translated [from the Russian], edited, and provided with supplementary notes by Benjamin Franklin Wells, III Amsterdam : North-Holland Pub. Co. , 1971
13 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
14 v. 68 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc Amsterdam : North-Holland , 1973
15 v. 69 Contributions to non-standard analysis / edited by W. A. J. Luxemburg and A. Robinson Amsterdam : North-Holland Pub. Co. , 1972
16 v. 70 The theory of semisets / [by] Petr Vopěnka and Petr Hájek Amsterdam : North-Holland , 1972
17 v. 71 Word problems : decision problems and the Burnside problem in group theory / edited by W.W. Boone, F.B. Cannonito, R.C. Lyndon Amsterdam : North-Holland , c1973
18 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
19 v. 73 Model theory / C.C. Chang and H.J. Keisler 2nd ed. - Amsterdam ; New York : North-Holland Pub. Co , 1977, c1973
20 73 Model theory / C.C. Chang and H.J. Keisler Amsterdam ; New York : North-Holland Pub. Co., 1973
21 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
22 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
23 v. 75 The axiom of choice / Thomas J. Jech : ne,: us. - Amsterdam : North-Holland , 1973
24 v. 76 Set theory : an introduction to large cardinals / Frank R. Drake Elsevier,North-Holland. - Amsterdam : North-Holland , 1974
25 v. 77 Elementary induction on abstract structures / [by] Yiannis N. Moschovakis : ne,: us. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974
26 v. 78 An algebraic approach to non-classical logics Warszawa : PWN - Polish Scientific Publishers , 1974
27 v. 78 An algebraic approach to non-classical logics / Helena Rasiowa Amsterdam : North-Holland. - New York : American Elsevier , 1974
28 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
29 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
30 v. 81 Proof theory / Gaisi Takeuti : U.S. - 2nd ed. - Amsterdam ; Tokyo : North-Holland , 1987
31 v. 81 Proof theory / Gaisi Takeuti American Elsevier,North-Holland. - Amsterdam : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975
32 v. 82 Proceedings of the third Scandinavian Logic Symposium / edited by Stig Kanger Amsterdam : North-Holland. - New York : American Elsevier , 1975
33 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
34 vol.83 Large infinitary languages : model theory / M.A. Dickmann Amsterdam ; Oxford : North-Holland , 1975
35 v. 84 Sets and classes : on the work by Paul Bernays / edited by Gert H. Müller Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1976
36 v. 85 Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin 2nd ed., rev. and enl.. - Amsterdam ; Tokyo : North-Holland , 1986
37 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
38 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
39 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
40 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
41 v. 89 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui Amsterdam ; New York : North-Holland Pub. Co.. - New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1977
42 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
43 v. 91 Combinatorial set theory / Neil H. Williams Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier/North Holland , 1977
44 v. 92 Classification theory and the number of non-isomorphic models / S. Shelah Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1978
45 v. 93 Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.] v. 1,v. 2. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1979
46 v. 94 Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978
47 v. 95 Word problems II : the Oxford book / edited by S.I. Adian, W.W. Boone, G. Higman Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980
48 v. 96 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris Amsterdam ; New York : North Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978
49 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
50 v. 98 Topoi : the categorial analysis of logic / Robert Goldblatt Rev. ed. - Amsterdam : North-Holland , 1984
51 v. 98 Topoi : the categorial analysis of logic / Robert Goldblatt Amsterdam ; New York : North-Holland Pub. Co. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1979
52 v. 99 Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980
53 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
54 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
55 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
56 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
57 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
58 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
59 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
60 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
61 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
62 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
63 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
64 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
65 v. 111 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / edited by C.-T. Chong and M.J. Wicks (U.S.). - Amsterdam, The Netherlands ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1983
66 v. 112 Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja : U.S.. - Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1984
67 v. 113 Intensional mathematics / edited by Stewart Shapiro Amsterdam ; London : North-Holland , 1985
68 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
69 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
70 v. 117 Harvey Friedman's research on the foundations of mathematics / edited by L. A. Harrington ... [et al.] Amsterdam : North-Holland , 1985
71 v. 118 Theory of relations / R. Fraïssé ; [translated by P. Clote] Amsterdam ; New York : North-Holland , 1986
72 v. 119 Foundations of infinitesimal stochastic analysis / K. D. Stroyan and José Manuel Bayod Amsterdam : North-Holland , 1986
73 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
74 v. 121, 123 Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen v. 1,v. 1:pbk.,v. 2. - Amsterdam ; Tokyo : North-Holland , 1988
75 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
76 v. 124 Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 / edited by F.R. Drake and J.K. Truss Amsterdam ; Tokyo : North-Holland , 1988
77 v. 125 Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi : pbk.. - Amsterdam ; Tokyo : North-Holland , 1992
78 v. 126 Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 / edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen Amsterdam ; Tokyo : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science , 1989
79 v. 127 Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro ... [et al.] Amsterdam ; Tokyo : North-Holland , 1989
80 v. 128 Computability, complexity, logic / E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey] Amsterdam ; New York : North-Holland. - New York : Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc. , 1989
81 v. 129 Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.] Amsterdam ; Tokyo : North-Holland , 1989
82 v. 130 Language in action : categories, lambdas and dynamic logic / Johan van Benthem Amsterdam ; New York : North-Holland. - New York : Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc. , 1991
83 v. 131 Recursive functionals / Luis E. Sanchis Amsterdam ; Tokyo : North-Holland , 1992
84 v. 132 Hausdorff gaps and limits / Ryszard Frankiewicz, Pawel Zbierski Amsterdam ; Tokyo : North-Holland , 1994
85 v. 133 Selected papers on Automath / edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen Amsterdam : Elsevier , 1994
86 v. 134 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 / edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl Amsterdam ; Tokyo : Elsevier , 1994
87 v. 135 Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini Amsterdam ; Tokyo : Elsevier Science B.V. , 1996
88 v. 136 Admissibility of logical inference rules / Vladimir V. Rybakov Amsterdam ; Tokyo : Elsevier Science B.V. , c1997
89 v. 137 Handbook of proof theory / edited by Samuel R. Buss Amsterdam : Elsevier , 1998
90 v. 138 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek ; v. 1 Recursive model theory Amsterdam : Elsevier , 1998
91 v. 139 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek ; v. 2 Recursive algebra, analysis and combinatorics Amsterdam : Elsevier , 1998
92 v. 140 Handbook of computability theory / edited by Edward R. Griffor Amsterdam : Elsevier , 1999
93 v. 141 Categorical logic and type theory / Bart Jacobs Amsterdam : Elsevier Science , 1999
94 v. 141 Categorical logic and type theory / Bart Jacobs : hbk,: pbk. - Amsterdam : Elsevier Science , 2001, c1999
95 v. 142 Tools and techniques in modal logic / Marcus Kracht 1st ed. - Amsterdam ; Tokyo : Elsevier , 1999
96 v. 143 Classical recursion theory / P.G. Odifreddi v. 2. - Amsterdam ; Tokyo : Elsevier , 1999
97 v. 144 Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight Amsterdam : Elsevier Science , c2000
98 v. 145 Theory of relations / Roland Fraïssé ; with an appendix by Norbert Sauer Rev. ed. - Amsterdam ; New York : Elsevier , 2000
99 v. 146 Rudiments of μ-calculus / A. Arnold, D. Niwiński Amsterdam ; Tokyo : Elsevier , 2001
100 v. 147 Relation algebras by games / Robin Hirsch, Ian Hodkinson Amsterdam ; Tokyo : Elsevier , 2002
101 v. 148 Many-dimensional modal logics : theory and applications / D.M. Gabbay ... [et al.] 1st ed. - Amsterdam ; Boston ; Tokyo : Elsevier North Holland , 2003
102 v. 149 Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn Amsterdam ; Tokyo : Elsevier , 2006
103 v. 150 Relation algebras / Roger D. Maddux 1st ed. - Amsterdam ; Tokyo : Elsevier , 2006
104 v. 151 Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.] 1st ed. - Amsterdam ; Tokyo : Elsevier , 2007
105 v. 152 Realizability : an introduction to its categorical side / Jaap van Oosten Amsterdam ; Tokyo : Elsevier , 2008
106 v. 153 Quantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov v. 1. - Amsterdam ; London : Elsevier , c2009
107 . Proceedings of the International Colloquim in the Philosophy of Science, London, 1965 ; Vol. 3 Problems in the philosophy of science / edited by Imre Lakatos, Alan Musgrave Amsterdam : North-Holland Pub. Co. , 1968
108 . Proceedings of the International Colloquim in the Philosophy of Science, London, 1965 ; Vol. 2 The problem of inductive logic / edited by Imre Lakatos Amsterdam : North Holland Pub. Co. , 1968
109 Abstract set theory / Abraham A. Fraenkel : North-Holland,(American Elsevier). - 4th rev. ed. / rev. by Azriel Lévy. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1976, c1953
110 Abstract set theory / Abraham A. Fraenkel series,ne,us. - 4th revised ed. / revised by Azriel Levy. - Amsterdam ; Oxford : North-Holland. - New York : American Elsevier , 1976
111 Abstract set theory / Abraham A. Fraenkel 2nd, completely rev. ed. - Amsterdam : North-Holland , 1961
112 Abstract set theory / Abraham A. Fraenkel Amsterdam : North-Holland , 1953
113 Ancient formal logic / I.M. Bocheński Amsterdam : North-Holland , 1951
114 Apuleian logic : the nature, sources, and influence of Apuleius's Peri Hermeneias / Mark W. Sullivan Amsterdam : North-Holland , c1967
115 Aristotle's modal syllogisms / Storrs McCall Amsterdam : North-Holland Pub. Co. , 1963
116 Aspects of inductive logic / edited by Jaakko Hintikka [and] Patrick Suppes Amsterdam : North Holland Pub. Co. , 1966
117 Axiomatic set theory / by Paul Bernays with a historical introd. by Abraham Fraenkel Amsterdam : North-Holland , 1968.
118 Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel Amsterdam : North-Holland Publishing Co , 1958
119 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 / edited by Leon Henkin, Patrick Suppes, Alfred Tarski Amsterdam : North-Holland , 1959
120 The collected papers of Gerhard Gentzen / edited by M.E. Szabo Amsterdam : North-Holland Pub , c1969
121 Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig v. 1,v. 2. - Amsterdam : North-Holland Pub. Co. , 1958-1972
122 Complete theories / Abraham Robinson 2d ed. / pref. to 2d ed. by H. J. Keisler. - Amsterdam ; New York : North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1977
123 Complete theories Amsterdam : North-Holland Pub. Co. , 1956
124 Computer programming and formal systems / edited by P. Braffort and D. Hirschberg Amsterdam : North-Holland Publishing , 1963
125 Constructive order types / [By] John N. Crossley Amsterdam ; London : North-Holland Pub. Co. , 1969
126 Constructible sets with applications / A. Mostowski Amsterdam : North-Holland , 1969
127 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting Amsterdam : North-Holland Publishing Co. , 1959
128 Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele Amsterdam : North-Holland , 1968
129 Dictionary of symbols of mathematical logic / Edited by Robert Feys and Frederic B. Fitch Amsterdam : North-Holland Pub. Co. , c1969
130 Elements of mathematical logic : (Model theory) / G. Kreisel and J. L. Krivine Amsterdam : North Holland Pub. Co. , 1967
131 Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin Amsterdam : North-Holland , 1963
132 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 / ed. by J. N. Crossley and M. A. E. Dummett Amsterdam : North-Holland , 1965.
133 The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley Amsterdam : North-Holland Pub. Co. , 1965
134 The foundations of mathematics : a study in the philosophy of science / Evert W. Beth Amsterdam : North-Holland Pub. Co. , 1959
135 Foundations of set theory / Abraham A. Fraenkel and Yehoshua Bar-Hillel Amsterdam : North-Holland , 1958
136 Hypothetical reasoning / Nicholas Rescher Amsterdam : North-Holland , 1964
137 Introduction to model theory and to the metamathematics of algebra / Abraham Robinson 2nd ed. - Amsterdam ; Tokyo : North-Holland. - Amsterdam : Elsevier Science. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science , 1974
138 Introduction to model theory and to the metamathematics of algebra / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1963
139 Introduction to the theory of finite automata / N. E.Kobrinskiy and Boris Avraamovich Trakhtenbrot ; translation edited by J.C. Shepherdson Amsterdam : North-Holland , 1965
140 Intuitionistic logic, model theory and forcing / M.C. Fitting Amsterdam : North-Holland Pub. Co. , 1969
141 Intuitionism : An introduction / [By] A. Heyting 3rd rev. ed. - Amsterdam : North-Holland , 1971
142 Intuitionism : An introduction / A. Heyting 2nd rev. ed.. - Amsterdam : North-Holland Pub. Co. , 1966
143 Intuitionism : an introduction / A. Heyting Amsterdam : North-Holland Publishing Co , 1956
144 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
145 Languages with expressions of infinite length / Carol R. Karp Amsterdam : North-Holland , 1964
146 Lincos : design of a language for cosmic intercourse / Hans Freudenthal part 1. - Amsterdam : North-Holland Publ. Co. , 1960
147 The logical systems of Lesniewski / Eugene C. Luschei Amsterdam : North-Holland , 1962
148 Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 / edited by B. Van Rootselaar and J. F. Staal Amsterdam : North-Holland Pub. Co. , 1968
149 Logic, methodology and philosophy of science : proceedings of the 1964 International Congress / edited by Yehoshua Bar-Hillel Amsterdam : North-Holland Pub. Co. , 1965
150 Many-valued logics / [by] J. Barkley Rosser [and] Atwell R. Turquette Amsterdam : North-Holland Pub. Co. , 1952
151 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
152 Mathematical interpretation of formal systems / Th. Skolem ... [et al.] Amsterdam : North-Holland Pub. Co. , 1955
153 Nomological statements and admissible operations / Hans Reichenbach Amsterdam : North-Holland , 1954.
154 Non-standard analysis / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1966
155 On the metamathematics of algebra / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1951
156 Ordinal algebras / by Alfred Tarski with appendices by Chen-Chung Chang and Bjarni Jónsson Amsterdam : North-Holland Pub. Co. , 1956
157 Outlines of a formalist philosophy of mathematics / Haskell B. Curry Amsterdam : North-Holland Pub. Co. , c1951
158 The propositional logic of Boethius / Karl Dürr Amsterdam : North-Holland Pub , 1951
159 Recursive analysis / Reuben Louis Goodstein Amsterdam : North-Holland , 1961
160 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein Amsterdam : North-Holland Pub. Co. , 1957
161 Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz] Amsterdam ; London : North-Holland , 1970
162 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski Amsterdam : North-Holland Pub. Co. , 1952
163 Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965 / edited by John N. Crossley Amsterdam : North-Holland , 1967
164 Solvable cases of the decision problem / Wilhelm Ackermann Amsterdam : North-Holland , c1968
165 Solvable cases of the decision problem / by W. Ackermann Amsterdam : North-Holland , c1954
166 A survey of mathematical logic / Hao Wang Peking : Science Press. - Amsterdam : North-Holland , 1963
167 The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin, Alfred Tarski Amsterdam : North-Holland , 1965
168 Toward a systematic pragmatics / by R.M. Martin Amsterdam : North-Holland Pub. Co. , 1959
169 A transfinite type theory with type variables / by P.B. Andrews Amsterdam : North-Holland , 1965
170 Truth and consequence in mediaeval logic / Ernest A. Moody Westport, Conn. : Greenwood Press , 1976, c1953
171 Truth and consequence in mediaeval logic / Ernest A. Moody Amsterdam : North-Holland Pub. Co. , c1953
172 Undecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson Amsterdam : North-Holland Pub. Co. , 1953
173 Undecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson 3rd printing. - Amsterdam : North-Holland , 1971, c1953