Results of search for 'an:23801' › IMPA Library catalog

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.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)
	13.	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)
	14.	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)
	15.	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)
	16.	Set theory: an introduction to large cardinals/ Frank R. Drake. by Drake, F. R. (Frank Robert) Series: Studies in logic and the foundations of mathematics ; v. 76. Publication details: Amsterdam ;: New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 511.322 D761s 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available The propositional logic of Boethius. by Durr, Karl, 1888- 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 D965p 1951 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	18.	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)
	19.	Fundamentals of generalized recursion theory/ Melvin Fitting. by Fitting, Melvin, 1942- Series: Studies in logic and the foundations of mathematics ; v. 105. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 F547f 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available Abstract set theory. by Fraenkel, Abraham Adolf, 1891-1965 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam; North-Holland, 1953 Availability: Items available for loan: Castorina (2)Call number: 511.322 F799a 1953 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 80 results.