| 1 |
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
|
| 2 |
Constructive order types / [By] John N. Crossley
Amsterdam ; London : North-Holland Pub. Co. , 1969
|
| 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. 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
|
| 5 |
A deductive theory of space and time / [by] Saul A. Basri
Amsterdam : North-Holland Pub. Co. , 1966
|
| 6 |
Non-standard analysis / Abraham Robinson
Amsterdam : North-Holland Pub. Co. , 1966
|
| 7 |
Abstract set theory / Abraham Adolf Fraenkel
Amsterdam : North-Holland Publishing Co. , 1953.
|
| 8 |
A transfinite type theory with type variables / by P.B. Andrews
Amsterdam : North-Holland Pub. Co. , 1965
|
