Check details on webcat_plus

このエントリーをはてなブックマークに追加

Output this information

Link on this page

Studies in logic and the foundations of mathematics

Publisher Amsterdam ; Tokyo : North-Holland

Hide subdivided bibliography.

1 Ancient formal logic / Innocentius M. Bocheński Amsterdam : North-Holland , 1951
2 Introduction to model theory and to the metamathematics of algebra / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1963
3 A survey of mathematical logic / Hao Wang Peking : Science Press. - Amsterdam : North-Holland , 1963
4 Solvable cases of the decision problem / by W. Ackermann Amsterdam : North-Holland , c1954
5 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 / edited by J.N. Crossley and M.A.E. Dummett Amsterdam : North-Holland , 1965
6 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
7 v. 62 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / [By] H. Jerome Keisler Amsterdam : North-Holland Pub. Co. , 1971
8 v. 63 Proceedings of the Second Scandinavian Logic Symposium / ed. by J. E. Fenstad Amsterdam : North-Holland Pub. Co. , 1971
9 Equivalents of the axiom of choice / [by] Herman Rubin and Jean E. Rubin Amsterdam : North-Holland Pub. Co. , 1963
10 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
11 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
12 Foundations of set theory / Abraham A. Fraenkel and Yehoshua Bar-Hillel Amsterdam : North-Holland , 1958
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 73 Model theory / C.C. Chang and H.J. Keisler Amsterdam ; New York : North-Holland Pub. Co., 1973
20 v. 73 Model theory / C.C. Chang and H.J. Keisler 2nd ed. - Amsterdam ; New York : North-Holland Pub. Co , 1977, c1973
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.] Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1973
23 v. 75 The axiom of choice / Thomas J. Jech 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 / Helena Rasiowa Amsterdam : North-Holland. - New York : American Elsevier , 1974
27 v. 79 Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman : ne,: us. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974
28 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
29 v. 81 Proof theory / Gaisi Takeuti : U.S. - 2nd ed. - Amsterdam ; Tokyo : North-Holland , 1987
30 v. 81 Proof theory / Gaisi Takeuti American Elsevier,North-Holland. - Amsterdam : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975
31 v. 82 Proceedings of the third Scandinavian Logic Symposium / edited by Stig Kanger Amsterdam : North-Holland. - New York : American Elsevier , 1975
32 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
33 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
34 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
35 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
36 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
37 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
38 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
39 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
40 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
41 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
42 v. 92 Classification theory and the number of non-isomorphic models / S. Shelah Rev. ed. - Amsterdam ; Tokyo : North-Holland. - New York, N.Y., U.S.A. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1990
43 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
44 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
45 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
46 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
47 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
48 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
49 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
50 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
51 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
52 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
53 Intuitionism : An introduction / [By] A. Heyting 3rd rev. ed. - Amsterdam : North-Holland , 1971
54 The foundations of mathematics : a study in the philosophy of science / Evert W. Beth 2nd rev. ed.. - Amsterdam : North-Holland , 1965
55 v. 103 The lambda calculus : its syntax and semantics / H.P. Barendregt pbk. - Revised ed. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada Elsevier Science, 1985
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. 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
58 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
59 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
60 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
61 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
62 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
63 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
64 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
65 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
66 v. 113 Intensional mathematics / edited by Stewart Shapiro Amsterdam ; London : North-Holland , 1985
67 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
68 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
69 v. 117 Harvey Friedman's research on the foundations of mathematics / edited by L. A. Harrington ... [et al.] Amsterdam : North-Holland , 1985
70 v. 118 Theory of relations / R. Fraïssé ; [translated by P. Clote] Amsterdam ; New York : North-Holland , 1986
71 v. 119 Foundations of infinitesimal stochastic analysis / K. D. Stroyan and José Manuel Bayod Amsterdam : North-Holland , 1986
72 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
73 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
74 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
75 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
76 v. 125 . Classical recursion theory The theory of functions and sets of natural numbers / Piergiorgio Odifreddi Amsterdam ; Tokyo : North-Holland. - New York, N.Y. : Sole distributors for the USA and Canada, Elsevier Science Pub. Co. , 1989
77 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
78 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
79 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
80 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
81 Solvable cases of the decision problem / Wilhelm Ackermann Amsterdam : North-Holland , c1968
82 Undecidable theories / In collaboration with Andrzej Mostowski and Raphael M. Robinson [3rd printing]. - Amsterdam : North-Holland Pub. Co. , 1971
83 Lincos : design of a language for cosmic intercourse / Hans Freudenthal part 1. - Amsterdam : North-Holland Publ. Co. , 1960
84 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
85 v. 131 Recursive functionals / Luis E. Sanchis Amsterdam ; Tokyo : North-Holland , 1992
86 Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel Amsterdam : North-Holland Publishing Co , 1958
87 The foundations of mathematics : a study in the philosophy of science / Evert W. Beth Amsterdam : North-Holland Pub. Co. , 1959
88 An essay in modal logic / Georg H. von Wright Amsterdam : North-Holland Publishing Co. , 1951
89 Outlines of a formalist philosophy of mathematics / Haskell B. Curry Amsterdam : North-Holland Pub. Co. , c1951
90 Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig v. 1,v. 2. - Amsterdam : North-Holland Pub. Co. , 1958-1972
91 The propositional logic of Boethius / Karl Dürr Amsterdam : North-Holland Pub , 1951
92 Abstract set theory / Abraham A. Fraenkel 2nd, completely rev. ed. - Amsterdam : North-Holland , 1961
93 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein Amsterdam : North-Holland Pub. Co. , 1957
94 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
95 Intuitionism : an introduction / A. Heyting Amsterdam : North-Holland Publishing Co , 1956
96 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting Amsterdam : North-Holland Publishing Co. , 1959
97 Toward a systematic pragmatics / by R.M. Martin Amsterdam : North-Holland Pub. Co. , 1959
98 Truth and consequence in mediaeval logic / Ernest A. Moody Amsterdam : North-Holland Pub. Co. , c1953
99 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski Amsterdam : North-Holland Pub. Co. , 1952
100 Nomological statements and admissible operations / Hans Reichenbach Amsterdam : North-Holland , 1954.
101 Complete theories Amsterdam : North-Holland Pub. Co. , 1956
102 Many-valued logics / [by] J. Barkley Rosser [and] Atwell R. Turquette Amsterdam : North-Holland Pub. Co. , 1952
103 Mathematical interpretation of formal systems / Th. Skolem ... [et al.] Amsterdam : North-Holland Pub. Co. , 1955
104 On the metamathematics of algebra / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1951
105 Ordinal algebras / by Alfred Tarski with appendices by Chen-Chung Chang and Bjarni Jónsson Amsterdam : North-Holland Pub. Co. , 1956
106 Computer programming and formal systems / edited by P. Braffort and D. Hirschberg Amsterdam : North-Holland Publishing , 1963
107 Recursive analysis / Reuben Louis Goodstein Amsterdam : North-Holland , 1961
108 The logical systems of Lesniewski / Eugene C. Luschei Amsterdam : North-Holland , 1962
109 Aristotle's modal syllogisms / Storrs McCall Amsterdam : North-Holland Pub. Co. , 1963
110 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
111 The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley Amsterdam : North-Holland Pub. Co. , 1965
112 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
113 Aspects of inductive logic / edited by Jaakko Hintikka [and] Patrick Suppes Amsterdam : North Holland Pub. Co. , 1966
114 A deductive theory of space and time / [by] Saul A. Basri Amsterdam : North-Holland Pub. Co. , 1966
115 Non-standard analysis / Abraham Robinson Amsterdam : North-Holland Pub. Co. , 1966
116 A transfinite type theory with type variables / by P.B. Andrews Amsterdam : North-Holland , 1965
117 Introduction to the theory of finite automata / N. E.Kobrinskiy and Boris Avraamovich Trakhtenbrot ; translation edited by J.C.Shepherdson Amsterdam : North-Holland , 1965
118 Problems in the philosophy of mathematics / edited by Imre Lakatos Amsterdam : North-Holland Pub. Co. , 1967
119 Logic, methodology and philosophy of science : proceedings of the 1964 International Congress / edited by Yehoshua Bar-Hillel Amsterdam : North-Holland Pub. Co. , 1965
120 Elements of mathematical logic : (Model theory) / G. Kreisel and J. L. Krivine Amsterdam : North Holland Pub. Co. , 1967
121 Set theory / [by] K. Kuratowski and A. Mostowski. Translated from Polish by M. Mączyński Amsterdam : North-Holland. - Warszawa : Polish Scientific Publishers , 1968
122 Dictionary of symbols of mathematical logic / Edited by Robert Feys and Frederic B. Fitch Amsterdam : North-Holland Pub. Co. , c1969
123 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
124 Intuitionistic logic, model theory and forcing / M.C. Fitting Amsterdam : North-Holland Pub. Co. , 1969
125 The collected papers of Gerhard Gentzen / edited by M.E. Szabo Amsterdam : North-Holland Pub , c1969
126 Constructible sets with applications / A. Mostowski Amsterdam : North-Holland , 1969
127 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
128 Constructive order types / [By] John N. Crossley Amsterdam ; London : North-Holland Pub. Co. , 1969
129 v. 132 Hausdorff gaps and limits / Ryszard Frankiewicz, Pawel Zbierski Amsterdam ; Tokyo : North-Holland , 1994
130 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
131 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
132 v. 135 Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini Amsterdam ; Tokyo : Elsevier Science B.V. , 1996
133 v. 136 Admissibility of logical inference rules / Vladimir V. Rybakov Amsterdam ; Tokyo : Elsevier Science B.V. , c1997
134 v. 137 Handbook of proof theory / edited by Samuel R. Buss Amsterdam : Elsevier , 1998
135 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
136 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
137 v. 140 Handbook of computability theory / edited by Edward R. Griffor Amsterdam : Elsevier , 1999
138 v. 141 Categorical logic and type theory / Bart Jacobs Amsterdam : Elsevier Science , 1999
139 v. 142 Tools and techniques in modal logic / Marcus Kracht 1st ed. - Amsterdam ; Tokyo : Elsevier , 1999
140 v. 143 Classical recursion theory / P.G. Odifreddi v. 2. - Amsterdam ; Tokyo : Elsevier , 1999
141 v. 144 Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight Amsterdam : Elsevier Science , c2000
142 v. 145 Theory of relations / Roland Fraïssé ; with an appendix by Norbert Sauer Rev. ed. - Amsterdam ; New York : Elsevier , 2000
143 v. 146 Rudiments of μ-calculus / A. Arnold, D. Niwiński Amsterdam ; Tokyo : Elsevier , 2001
144 v. 147 Relation algebras by games / Robin Hirsch, Ian Hodkinson Amsterdam ; Tokyo : Elsevier , 2002
145 v. 148 Many-dimensional modal logics : theory and applications / D.M. Gabbay ... [et al.] 1st ed. - Amsterdam ; Boston ; Tokyo : Elsevier North Holland , 2003
146 v. 149 Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn Amsterdam : Elsevier , 2006
147 v. 150 Relation algebras / Roger D. Maddux 1st ed. - Amsterdam ; Tokyo : Elsevier , 2006
148 v. 151 Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.] Amsterdam ; Boston : Elsevier , 2007
149 v. 152 Realizability : an introduction to its categorical side / Jaap van Oosten Amsterdam ; Tokyo : Elsevier , 2008
150 v. 153 Quantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov v. 1. - Amsterdam ; London : Elsevier , c2009
151 Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin Amsterdam : North-Holland , 1963
152 . 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
153 . 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
154 Languages with expressions of infinite length / Carol R. Karp Amsterdam : North-Holland , 1964
155 Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz] Amsterdam ; London : North-Holland , 1970

Hide details.

Material Type Books
Notes Publisher changes to Elsevier
NCID:AA00851874
Language und
ID 1000046332
ISBN 0720422000
NCID BA00099329 WCLINK