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
|