Results of search for 'ccl=an:9813' › IMPA Library catalog

Results
	241.	Sets, logic, and axiomatic theories/ Robert R. Stoll. by Stoll, Robert Roth Edition: 2d ed. Publication details: San Francisco: W.H. Freeman, [1974] Availability: Items available for loan: Castorina (1)Call number: 511.3 S875s 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	242.	Introduction to elementary mathematical logic/ [by] Abram Aronovich Stolyar; translation edited by Elliott Mendelson. [Translated by Scripta Technica, Inc.] by Stolyar, A. A. (Abram Aronovich) Language: engrus Publication details: Cambridge, Mass.: MIT Press, [c1970] Availability: Items available for loan: Castorina (1)Call number: 511.3 S876i 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	243.	No cover image available No cover image available No cover image available Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965/ Edited by John N. Crossley. by Summer School in Mathematical Logic (1965 : University of Leicester) Crossley, John N [comp.] University of Leicester Logic Colloquium (10th : 1965 : University of Leicester) 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 S495 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	244.	Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969/ Edited by R.O. Gandy and C.M.E. Yates. by Summer School in Mathematical Logic (1969 : University of Manchester) Gandy, R. O. (Robin O.) [ed.] Yates, C. Michael E [ed.] North Atlantic Treaty Organization International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science University of Manchester Association for Symbolic Logic Logic Colloquium (14th : 1969 : Manchester, Eng.) Series: Studies in logic and the foundations of mathematics ; v. 61 Publication details: Amsterdam ;: North-Holland, 1971 Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	245.	No cover image available No cover image available No cover image available First course in mathematical logic/ Patrick Suppes and Shirley Hill. by Suppes, Patrick, 1922- Hill, Shirley A [joint author.] Series: Blaisdell book in the pure and applied sciences Edition: [1st ed.] Publication details: New York: Blaisdell, [1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 S959f 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	246.	Two applications of logic to mathematics/ by Gaisi Takeuti. by Takeuti, Gaisi, 1926- Series: Publications of the Mathematical Society of Japan ; 13. \| Publications of the Mathematical Society of Japan. Kanio memorial lectures ; 3. Publication details: [Tokyo]: [Princeton, NJ]: Iwanami Shoten, Princeton University Press, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 T136t 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	247.	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)
	248.	No cover image available 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)
	249.	Selected mathematical papers of Axel Thue/ with an introduction by Carl Ludwig Siegel ; ed. by Trygve Nagell ... [et al.]. by Thue, Axel, 1863-1922 Language: gernoreng Summary language: English Publication details: Oslo: Universitetsforlaget, c1977 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	250.	Lectures in logic and set theory/ George Tourlakis. by Tourlakis, George J Series: Cambridge studies in advanced mathematics ; 82-83. Edition: 1st pbk. ed. Publication details: Cambridge, UK; New York: Cambridge University Press, 2010, 2003 Availability: Items available for loan: Castorina (2)Call number: 511.3 T727l 2010 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	251.	Mathematical logic/ edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]. by Turing, Alan Mathison, 1912-1954 Gandy, R. O. (Robin O.) Yates, C. E. M Series: Turing, Alan Mathison ; Collected works of A.M. Turing Publication details: Amsterdam; New York: Elsevier Science, 2001 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	252.	How to prove it: a structured approach/ Daniel J. Velleman. by Velleman, Daniel J Publication details: Cambridge, UK New York: Cambridge University Press, 1994 Availability: Items available for loan: Castorina (1)Call number: 510.7 V439h 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	253.	How to prove it: a structured approach/ Daniel J. Velleman. by Velleman, Daniel J Edition: 2nd ed. Publication details: Cambridge; New York: Cambridge University Press, 2006 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 510.7 V439h 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	254.	Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics/ Jan von Plato. by Von Plato, Jan [author.] Series: Sources and studies in the history of mathematics and physical sciences Publisher: Cham, Switzerland: Springer, [2017] Availability: Items available for loan: Castorina (1)Call number: 510.9 V945s 2017 IMPA. Found in Open Library: Place hold Add to cart (remove)
	255.	No cover image available No cover image available No cover image available Les systèmes axiomatiques de la théorie des ensembles/ par Hao Wang et McNaughton, Robert. by Wang, Hao, 1921- McNaughton, Robert [joint author.] Series: Collection de logique mathématique : sér. A ; 4. Publication details: Paris: Gauthier-Villars, 1953 Availability: Items available for loan: Castorina (1)Call number: 511.322 W246s 1953 IMPA. Found in Open Library: Place hold Add to cart (remove)
	256.	Popular lectures on mathematical logic/ Wang Hao. by Wang, Hao, 1921- Publication details: New York: Van Nostrand Reinhold, c1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 W246p 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	257.	No cover image available No cover image available No cover image available Examen del positivismo lógico/ Julius Rudolph Weinberg ; traducción del inglés por José Luis Fernández de Castillejo. by Weinberg, Julius R. (Julius Rudolph), 1908- Series: Colección literaria. Novelistas, dramaturgos, ensayistas, poetas Language: Spanish Original language: English Publication details: Madrid: Aguilar, 1959 Availability: Items available for loan: Castorina (1)Call number: 511.3 W423e 1959 IMPA. Place hold Add to cart (remove)
	258.	No cover image available No cover image available No cover image available Principia mathematica: to 56/ by Alfred North Whitehead and Bertrand Russell. by Whitehead, Alfred North, 1861-1947 Russell, Bertrand, 1872-1970 Edition: Pbk. ed. Publication details: London: New York: University Press, 1967 Availability: Items available for loan:* Castorina (1)Call number: 511.3 W592p 1967 IMPA. Place hold Add to cart (remove)
	259.	No cover image available No cover image available No cover image available Introduction to the foundations of mathematics/ Raymond Louis Wilder. by Wilder, Raymond Louis, 1896- Publication details: New York: Wiley, [1952] Availability: Items available for loan: Castorina (1)Call number: 511.3 W673i 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	260.	No cover image available No cover image available No cover image available The technique of theory construction/ J. H. Woodger. by Woodger, Joseph Henry Series: International encyclopedia of unified science ; vol. II, no. 5. Publication details: Chicago; The University of Chicago Press, [1939] Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 263 results.