Results of search for 'se,phr:"Studies in logic and the foundations of mathematics"'

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.	Word problems II: the Oxford book/ edited by S. I. Adian, W. W. Boone, G. Higman. by Adian, Sergei I Boone, W. W. (William W.) Higman, G. (Graham) Series: Studies in logic and the foundations of mathematics ; v. 95. 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: 512.22 W924 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Combinatorial set theory: partition relations for cardinals/ Paul Erdos ... [et al.]. by Erdös, Paul, 1913- Series: Studies in logic and the foundations of mathematics ; v. 106. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1984 Availability: Items available for loan: Castorina (1)Call number: 511.322 C731 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A./ edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. by Kleene, Stephen Cole, 1909-1994 Barwise, Jon Keisler, H. Jerome Kunen, Kenneth Kleene Symposium (1978 : Madison, Wis.) Series: Studies in logic and the foundations of mathematics ; v. 101. 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: 510.92 K64 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available 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)
	6.	Word problems; decision problems and the Burnside problem in group theory/ edited by W. W. Boone, F. B. Cannonito and R. C. Lyndon. by Boone, W. W. (William W.) [ed.] Lyndon, Roger C [ed.] Cannonito, F. B. (Frank Benjamin) [ed.] Series: Studies in logic and the foundations of mathematics ; v. 71. Publication details: Amsterdam; North-Holland, [1973] Availability: Items available for loan: Castorina (2)Call number: 512.2 W924 1973 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 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.	No cover image available No cover image available No cover image available A transfinite type theory with type variables/ by P. B. Andrews. by Andrews, P. B. (Peter Bruce), 1937- 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 A568t 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available No cover image available A deductive theory of space and time/ [by] Saul A. Basri. by Basri, Saul A Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 B316d 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available No cover image available Axiomatic set theory/ With a historical introd. by Abraham A. Fraenkel. by Bernays, Paul, 1888- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.3 B524a 1958 IMPA. Found in Open Library: Place hold Add to cart (remove)
	13.	No cover image available No cover image available No cover image available Ancient formal logic. by Bochenski, Innocentius Marie, 1902- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1951 Availability: Items available for loan: Castorina (1)Call number: 511.3 B664a 1951 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	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)
	15.	No cover image available No cover image available No cover image available Computer programming and formal systems. by Braffort, P. (Paul) [ed.] Hirschberg, D. (David) [joint ed.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 B812c 1967 IMPA. Place hold Add to cart (remove)
	16.	Model theory/ C. C. Chang, H. J. Keisler. by Chang, Chen Chung Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; v. 73. Edition: 3rd ed. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1990 Availability: Items available for loan: Castorina (1)Call number: 511.3 C456m 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available No cover image available Model theory/ C. C. Chang and H. J. Keisler. by Chang, Chen Chung Keisler, H. Jerome [joint author.] Series: Studies in logic and the foundations of mathematics ; v. 73. Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.8 C456m 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available No cover image available Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/ edited by A. Kino, J. Myhill and R. E. Vesley. by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A [ed.] Myhill, John [ed.] Vesley, Richard Eugene, 1932- [ed.] State University College at Buffalo 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.3 I61 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	19.	Logic in algebraic form; Three languages and theories. by Craig, William Series: Studies in logic and the foundations of mathematics ; v. 72. Publication details: Amsterdam ;: New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 C886l 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available No cover image available Outlines of a formalist philosophy of mathematics. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1951 Availability: Items available for loan: Castorina (2)Call number: 511.3 C976o 1951 IMPA, ... Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 89 results.