1 |
The foundations of mathematics : a study in the philosophy of science / Evert Willem Beth
2nd rev. ed. - Amsterdam : North-Holland , 1965
|
2 |
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 , 1970
|
3 |
Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel
Amsterdam : North-Holland , 1970
|
4 |
Elements of mathematical logic / G. Kreisel, J.L. Krivine
Amsterdam : North-Holland , 1967
|
5 |
Dictionary of symbols of mathematical logic / edited by Robert Feys, Frederic B. Fitch
Amsterdam : North-Holland , 1969
|
6 |
Constructive order types / John N. Crossley
Amsterdam : North-Holland , 1969
|
7 |
Abstract set theory / Abraham Adolf Fraenkel
3rd rev. ed. - Amsterdam : North-Holland , 1966
|
8 |
The collected papers of Gerhard Gentzen / edited by M.E. Szabo
Amsterdam : North-Holland , 1969
|
9 |
Constructible sets with applications / A. Mostowski
Amsterdam : North-Holland , 1969
|
10 |
Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel
Amsterdam : North-Holland , 1958
|
11 |
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson
Amsterdam : North-Holland , 1963
|
12 |
Contributions to mathematical logic / edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele
Amsterdam : North-Holland , 1968
|
13 |
Undecidable theories / by Alfred Tarski, Raphael M. Robinson
Amsterdam : North-Holland , 1968
|
14 |
Intuitionistic logic, model theory and forcing / M.C. Fitting
Amsterdam : North-Holland , 1969
|
15 |
Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin
Amsterdam : North-Holland , 1963
|
16 |
Non-standard analysis / Abraham Robinson
Rev. ed. - Amsterdam : North-Holland , 1974
|
17 |
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R.L. Goodstein
Amsterdam : North-Holland , 1957
|
18 |
Computer programming and formal systems / edited by P. Braffort and D. Hirschberg
Amsterdam : North-Holland Publishing , 1963
|
19 |
v. 62
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler
Amsterdam : North-Holland , 1971
|
20 |
v. 67
Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levey ; with the collaboration of Dirk van Dalen
2nd rev. ed. - Amsterdam : North-Holland , 1973
|
21 |
v. 68
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973
|
22 |
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
|
23 |
v. 72
Logic in algebraic form : three languages and theories / William Craig
Amsterdam : North-Holland , 1974
|
24 |
v. 75
The axiom of choice / Thomas J. Jech
Amsterdam : North-Holland , 1973
|
25 |
v. 76
Set theory : an introduction to large cardinals / Frank R. Drake
Amsterdam : North-Holland , 1974
|
26 |
v. 81
Proof theory / Gaisi Takeuti
2nd ed. - Amsterdam ; Tokyo : North-Holland , 1987
|
27 |
v. 85
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
Amsterdam : North-Holland , 1976
|
28 |
v. 86
Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski
2nd completely rev. ed. - Amsterdam : North-Holland , 1976
|
29 |
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 : North-Holland , 1977
|
30 |
v. 90
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
Amsterdam : North-Holland , 1977
|
31 |
v. 98
Topoi : the categorial analysis of logic / Robert Goldblatt
Amsterdam : North-Holland , 1979
|
32 |
v. 100
Descriptive set theory / Yiannis N. Moschovakis
Amsterdam : North-Holland , 1980
|
33 |
v. 102
Set theory : an introduction to independence proofs / Kenneth Kunen
Amsterdam : North-Holland , 1980
|
34 |
v. 103
The lambda calculus : its syntax and semantics / H.P. Barendregt
Rev. ed. - Amsterdam : North-Holland , 1984
|
35 |
v. 110
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981. U.S. / edited by A.S. Troelstra and D. van Dalen
Amsterdam : North-Holland , 1982
|
36 |
v. 118
Theory of relations / R. Fraïssé ; [translated by P. Clote]
Amsterdam : North-Holland , 1986
|
37 |
v. 119
Foundations of infinitesimal stochastic analysis / K.D. Stroyan and José Manuel Bayod
Amsterdam : North-Holland , 1986
|
38 |
v. 122
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group
Amsterdam ; Tokyo : North-Holland , 1987
|
39 |
v. 137
Handbook of proof theory / edited by Samuel R. Buss
Amsterdam : Elsevier , 1998
|