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

Results
	201.	No cover image available No cover image available Elements of mathematical logic and set theory/ by J. Supecki and L. Borkowski; translated by O. Wojtasiewicz. by Slupecki, Jerzy Borkowski, Ludwik [joint author.] Series: International series of monographs in pure and applied mathematics ; v. 96. Edition: [1st English ed.] Language: English Original language: Polish Publication details: Oxford: New York: Pergamon Press, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 S634e 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	202.	No cover image available No cover image available Theory of formal systems/ Raymond M. Smullyan. by Smullyan, Raymond M Series: Annals of mathematics studies ; 47 Publication details: Princeton, N.J.: Princeton University Press, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 S666t 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	203.	No cover image available No cover image available First-order logic/ Raymond M. Smullyan. by Smullyan, Raymond M Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43. Publication details: New York: Springer-Verlag, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 S666f 1968 IMPA. Place hold Add to cart (remove)
	204.	A beginner's further guide to mathematical logic/ Raymond Smullyan. by Smullyan, Raymond M [author.] Publisher: New Jersey: World Scientific, 2017 Availability: Items available for loan: Castorina (1)Call number: 511.3 S666b 2017 IMPA. Found in Open Library: Place hold Add to cart (remove)
	205.	Recursively enumerable sets and degrees: a study of computable functions and computably generated sets/ Robert I. Soare. by Soare, R. I. (Robert Irving), 1940- Series: Perspectives in mathematical logic Publication details: Berlin ; New York: Springer-Verlag, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 S676r 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	206.	Mathematical logic: with special reference to the natural numbers/ S. W. P. Steen. by Steen, Stourton William Peile Publication details: London: Cambridge University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 S814m 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	207.	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)
	208.	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)
	209.	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)
	210.	No cover image available No cover image available Introduction to logic/ Patrick Suppes. by Suppes, Patrick, 1922- Series: University series in undergraduate mathematics Publication details: Princeton, N.J.: D. Van Nostrand Co., [1957] Availability: Items available for loan: Castorina (1)Call number: 511.3 S959i 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	211.	Algebra of proofs/ M. E. Szabo. by Szabo, M. E Series: Studies in logic and the foundations of mathematics ; v. 88. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 S996a 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	212.	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)
	213.	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)
	214.	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)
	215.	No cover image available No cover image available Les aplications techniques de la logique/ M. Touchais. by Touchais, M Edition: [1st ed.] Publication details: Paris: Dunod, 1956 Availability: Items available for loan: Castorina (1)Call number: 511.3 T722a 1956 IMPA. Place hold Add to cart (remove)
	216.	Computability/ George J. Tourlakis. by Tourlakis, George J Publication details: Reston, Va.: Reston Pub. Co., c1984 Availability: Items available for loan: Castorina (1)Call number: 511.3 T727c 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	217.	No cover image available No cover image available Leçons sur les fonctions calculables/ V.A. Ouspenski; Traduit du russe par André Chauvin. by Uspensky, V. A. (Vladimir Andreevich) Series: Actualités scientifiques et industrielles ; 1317. Publication details: [Paris]: Hermann, [1966] Availability: Items available for loan: Castorina (1)Call number: 511.3 U86l 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	218.	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)
	219.	Computability theory/ Rebecca Weber. by Weber, Rebecca, 1977- Series: Student mathematical library ; v. 62. Publication details: Providence, R.I.: American Mathematical Society, c2012 Availability: Items available for loan: Castorina (1)Call number: 511.3 W375c 2012 IMPA. Found in Open Library: Place hold Add to cart (remove)
	220.	Recursive function theory and logic. Ann Yasuhara. by Yasuhara, Ann Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1971] Availability: Items available for loan: Castorina (1)Call number: 511.3 Y29r 1971 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 221 results.