Periódicos correntes

Your search returned 12 results.

Results
	1.	Tarski Symposium: an international symposium held to honor Alfred Tarski on occasion of his seventieth birthady/ Edited by Leon Henkin , et al. by Henkin, Leon [ed.] Addison, John [ed.] Chang, Chen Chung [ed.] Craig, William [ed.] Scott, Dana S [ed.] Vaught, Robert L [ed.] Series: Proceedings of symposia in pure mathematics ; v. 25. Publication details: Providence, R.I.: American Mathematical Society, 1974 Availability: Items available for loan: Castorina (1)Call number: 510.92 T193 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available Cylindric algebras/ Leon Henkin, J. Donald Monk and Alfred Tarski. by Henkin, Leon Monk, J. Donald (James Donald), 1930- [joint author.] Tarski, Alfred, 1901-1983 [joint author.] Series: Studies in logic and the foundations of mathematics ; v. 64, 115. Publication details: Amsterdam ; North-Holland, 1971-1985 Availability: Items available for loan: Castorina (1)Call number: 511.3 H513c 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	No cover image available No cover image available Direct decompositions of finite algebraic systems/ by Bjarni Jónsson and Alfred Tarski. by Jónsson, Bjarni, 1920- Tarski, Alfred, 1901-1983 [joint author.] Series: Notre Dame mathematical lectures ; 5. Publication details: Notre Dame, Ind.: 1947 Availability: Items available for loan: Castorina (1)Call number: 512.89 J81d 1947 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available Das Wahrheirsproblem und die Idee der Semantik/ eine Einführung in die Theorien von A. Tarski und R. Carnap. by Stegmüller, Wolfgang Publication details: Wien: Springer, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.3 W137w 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	Ordinal algebras/ with appendices by Chen-Chung Chang and Bjarni Jónsson. by Tarski, Alfred, 1901-1983 Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 T193o 1956 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available Einführung in die mathematische logik und in die methodologie der mathematik/ von Alfred Tarski. by Tarski, Alfred, 1901-1983 Publication details: Wien: Springer, 1937 Availability: Items available for loan: Castorina (1)Call number: 511.3 T193e 1937 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	A formalization of set theory without variables/ by Alfred Tarski and Steven Givant. by Tarski, Alfred, 1901-1983 Givant, Steven R Series: Colloquium publications (American Mathematical Society) ; v. 41. Publication details: Providence, R.I.: American Mathematical Society, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.322 T193f 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available Cardinal algebras; With an appendix: Cardinal products of isomorphism types/ by Bjarni Jónsson and Alfred Tarski. by Tarski, Alfred, 1901-1983 Jónsson, Bjarni, 1920- Publication details: New York: Oxford University Press, 1949 Availability: Items available for loan: Castorina (1)Call number: 511.3 T193c 1949 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available Collected papers/ Alfred Tarski ; [edited by] Steven R. Givant and Ralph N. McKenzie. by Tarski, Alfred, 1901-1983 Givant, Steven R McKenzie, Ralph N Series: Contemporary Mathematicians Language: engfregerpol Publication details: Basel; Boston: Birkhäuser, 1986 Availability: Items available for reference: Castorina: Not For Loan (4). Found in Open Library: Add to cart (remove)
	10.	Introduction to logic and to the methodology of deductive sciences/ translated by Olaf Helmer. by Tarski, Alfred, 1901-1983 Series: A Galaxy book ; GB133 Edition: 3d ed. rev. Language: English Original language: Polish Publication details: New York: Oxford University Press, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 T193i 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available Logic, semantics, metamathematics: papers from 1923 to 1938/ translated by J. H. Woodger. by Tarski, Alfred, 1901-1983 Publication details: Oxford: Clarendon Press, 1969 Availability: Items available for reference: Castorina: Not For Loan (1). Add to cart (remove)
	12.	No cover image available No cover image available Undecidable theories/ In collaboration with Andrzej Mostowski and Raphael M. Robinson. by Tarski, Alfred, 1901-1983 Mostowski, Andrzej Robinson, Raphael M. (Raphael Mitchel), 1911- Series: Studies in logic and the foundations of mathematics Edition: [2d printing] Publication details: Amsterdam: North-Holland, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 T193u 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha