1 |
v. 68
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973
|
2 |
Dictionary of symbols of mathematical logic / Edited by Robert Feys and Frederic B. Fitch
Amsterdam : North-Holland Pub. Co. , c1969
|
3 |
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
|
4 |
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
|
5 |
Ordinal algebras / by Alfred Tarski with appendices by Chen-Chung Chang and Bjarni Jónsson
Amsterdam : North-Holland Pub. Co. , 1956
|
6 |
Languages with expressions of infinite length / Carol R. Karp
Amsterdam : North-Holland , 1964
|
7 |
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
|
8 |
Non-standard analysis / Abraham Robinson
series,ne,us. - Rev. ed. - Amsterdam : North-Holland. - New York : American Elsevier , 1974
|
9 |
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
|
10 |
Selected works [of] Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
Amsterdam ; London : North-Holland , 1970
|
11 |
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
|
12 |
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
|
13 |
A deductive theory of space and time / [by] Saul A. Basri
Amsterdam : North-Holland Pub. Co. , 1966
|
14 |
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
|
15 |
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
|
16 |
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
|
17 |
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
|
18 |
v. 102
Set theory : an introduction to independence proofs / Kenneth Kunen
Amsterdam : Elsevier , 2006, c1980
|
19 |
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
|
20 |
The propositional logic of Boethius / Karl Dürr
Amsterdam : North-Holland Pub , 1951
|
21 |
Truth and consequence in mediaeval logic / Ernest A. Moody
Amsterdam : North-Holland Pub. Co. , c1953
|
22 |
Ancient formal logic / I.M. Bocheński
Amsterdam : North-Holland , 1951
|
23 |
v. 131
Recursive functionals / Luis E. Sanchis
Amsterdam ; Tokyo : North-Holland , 1992
|
24 |
The problem of inductive logic / edited by Imre Lakatos
Amsterdam : North Holland Pub. Co. , 1968
|
25 |
Problems in the philosophy of science / edited by Imre Lakatos [and] Alan Musgrave
Amsterdam : North-Holland Pub. Co. , 1968
|
26 |
v. 149
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn
Amsterdam ; Tokyo : Elsevier , 2006
|