| 1 |
Problems in the philosophy of mathematics / edited by Imre Lakatos
Amsterdam : North-Holland Pub. Co. , 1967
|
| 2 |
Solvable cases of the decision problem / by W. Ackermann
Amsterdam : North-Holland , c1954
|
| 3 |
Computer programming and formal systems / edited by P. Braffort and D. Hirschberg
Amsterdam : North-Holland Pub. Co. , 1963
|
| 4 |
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson
Amsterdam : North-Holland Pub. Co. , 1963
|
| 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 |
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
|
| 7 |
Non-standard analysis / Abraham Robinson
Amsterdam : North-Holland Pub. Co. , 1966
|
| 8 |
The foundations of intuitionistic mathematics : especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley
Amsterdam : North-Holland Pub. Co. , 1965
|
| 9 |
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein
Amsterdam : North-Holland Pub. Co. , 1957
|
| 10 |
Set theory / [by] K. Kuratowski and A. Mostowski. Translated from Polish by M. Mączyński
Amsterdam : North-Holland. - Warszawa : Polish Scientific Publishers , 1968
|
| 11 |
Selected works [of] Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
Amsterdam ; London : North-Holland , 1970
|
| 12 |
Combinatory logic / [by] Haskell B. Curry [and] Robert Feys ; with two sections by William Craig
v. 1,v. 2. - Amsterdam : North-Holland Pub. Co. , 1958-72
|
| 13 |
v. 103
The lambda calculus : its syntax and semantics / H.P. Barendregt
: pbk. - Rev. ed. - Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1984
|
| 14 |
v. 118
Theory of relations / R. Fraïssé ; [translated by P. Clote]
Amsterdam ; New York : North-Holland , 1986
|
