Results of search for 'ccl=pl:"Amsterdam ;"'

Results
	1.	Handbook of mathematical logic/ edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]. by Barwise, Jon Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 90. Publication details: Amsterdam ; New York: North-Holland, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Studies in logic/ by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach. by Peirce, Charles S. (Charles Sanders), 1839-1914 Johns Hopkins University Series: Foundations of semiotics ; v. 1. Publication details: Amsterdam ; Philadelphia: J. Benjamins Pub. Co., 1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen. by Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter Publication details: Amsterdam; New York; Cambridge, Mass.: Elsevier; MIT Press, 1997 Other title: Handbook of logic & language Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available Annals of pure and applied logic. Publication details: Amsterdam: North-Holland, c1983- Availability: Items available for loan: Castorina (59). Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available Annals of mathematical logic. Publication details: Amsterdam: North-Holland, Availability: Items available for loan: Castorina (19). Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available Mathematical interpretation of formal systems/ Th. Skolem ... [and others] by Skolem, Th. (Thoralf), 1887-1963 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	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. by Arruda, A. I. (Ayda Ignez) Chuaqui, R Costa, Newton C. A. da Latin-American Symposium on Mathematical Logic (4th: 1978: Santiago de Chile) Series: Studies in logic and the foundations of mathematics ; v. 99 Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Selected works/ Ed. by L. Borkowski; translated from the Polish by O. Wojtasiewicz. by Ýukasiewicz, Jan Borkowski, Ludwik [ed.] Series: Studies in logic and the foundations of mathematics Language: engpol Publication details: Amsterdam ; North-Holland, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 Y94 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available Solvable cases of the decision problem. by Ackermann, W. (Wilhelm), 1896- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1954 Availability: Items available for loan: Castorina (1)Call number: 511.35 A182s 1954 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	A course in mathematical logic/ by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé [joint author.] Publication details: Amsterdam ; New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 B433c 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	Computability, complexity, logic/ E. Börger. by Borger, E. (Egon), 1946- Series: Studies in logic and the foundations of mathematics ; v. 128. Language: engger Publication details: Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989 Availability: Items available for loan: Castorina (1)Call number: 511.3 B732c 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available Combinatory logic/ Haskell B. Curry, Robert Feys. With two sections by William Craig. by Curry, Haskell B. (Haskell Brooks), 1900- Feys, Robert, 1889- [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1968-72 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976c 1972 IMPA. Place hold Add to cart (remove)
	13.	No cover image available No cover image available Dictionary of symbols of mathematical logic/ Edited by Robert Feys and Frederic B. Fitch. by Feys, Robert, 1889- Fitch, Frederic B. (Frederic Brenton), 1908-1987 [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 F435d 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	No cover image available No cover image available The language of logic. by Freudenthal, Hans, 1905- Language: engund Publication details: Amsterdam ; New York: Elsevier, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 F889l 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available The collected papers of Gerhard Gentzen/ edited by M. E. Szabo. by Gentzen, Gerhard Series: Studies in logic and the foundations of mathematics ; 55. Publication details: Amsterdam: North-Holland, 1969 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)
	16.	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. Ed. by Yehoshua Bar-Hillel. by International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem, Israel) Bar-Hillel, Yehoshua [ed.] Akademyah ha-le umit hayisre elit le-mada im International Mathematical Union Einstein Institute of Mathematics Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.322 M426 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available Logic, methodology and philosophy of science: Proceedings/ edited by Yehoshua Bar-Hillel. by International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalém) Bar-Hillel, Yehoshua [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Akademyah ha-le umit hayisre elit le-mada im Universitah ha-Ivrit bi-Yerushalayim Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	Logic, methodology and philosophy of science: Proceedings/ ed. by Patrick Suppes [a. o.]. by International Congress for Logic, Methodology, and Philosophy of Science (4th :: 1971 :: Bucharest, Romania) Suppes, Patrick, 1922- [ed.] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Academia Republicii Socialiste Romania Series: Studies in logic and the foundations of mathematics ; v. 74. Language: engfregerrus Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	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.]. by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan) Series: Studies in logic and the foundations of mathematics ; v. 104. Publication details: Amsterdam ; New York: Warszawa: New York: North-Holland, PWN-Polish Scientific Publishers, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available Languages with expressions of infinite length. by Karp, Carol Ruth Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1964 Availability: Items available for loan: Castorina (1)Call number: 511.3 K92e 1964 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 35 results.