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

Results
	181.	No cover image available No cover image available Introduction to logic. by Rescher, Nicholas Publication details: New York: St. Martin's, [1964] Availability: Items available for loan: Castorina (1)Call number: 511.3 R431i 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	182.	No cover image available No cover image available Algebraic methods of mathematical logic/ Translated by Michael Basch. by Rieger, Ladislav, 1916-1963 Language: engund Publication details: Prague: New York: Academia, Academic Press, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 R554a 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	183.	No cover image available No cover image available Mathematical logic: a first course/ [by] Joel W. Robbin. by Robbin, Joel W Series: University mathematics series Publication details: New York: W.A. Benjamin, 1969 Availability: Items available for loan: Castorina (1)Call number: 511.3 R631m 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	184.	No cover image available No cover image available Théorie métamathématique des idéaux/ Abraham Robinson. by Robinson, Abraham, 1918-1974 Series: Collection de logique mathématique : sér. A ; 8. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 R658t 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	185.	No cover image available No cover image available An introduction to mathematical logic/ Gerson B. Robison. by Robison, Gerson B, 1909- Publication details: Englewood Cliffs, N.J.: Prentice-Hall, [1969] Availability: Items available for loan: Castorina (1)Call number: 511.3 R666i 1969 IMPA. Found in Open Library: Place hold Add to cart (remove)
	186.	Recursive program schemes: semantics and proof theory/ W. P. de Roever, Jr. by Roever, W.-P. de Series: Mathematical Centre tracts ; 70. Publication details: Amsterdam ; Mathematisch Centrum, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.352 R719r 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	187.	No cover image available No cover image available Theory of recursive functions and effective computability/ H. Rogers. by Rogers, H. (Hartley), 1926- Series: McGraw-Hill series in higher mathematics Publication details: New York: McGraw-Hill, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 R726t 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	188.	No cover image available No cover image available The elements of mathematical logic. by Rosenbloom, Paul C Series: Dover series in mathematics and physics Edition: [1st ed. Publication details: New York: Dover, 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 R813e 1950 IMPA. Found in Open Library: Place hold Add to cart (remove)
	189.	No cover image available No cover image available Deux esquisses de logique/ J. Barkley Rosser. by Rosser, J. Barkley (John Barkley), 1907- Series: Collection de logique mathématique : sér. A ; 7. Publication details: Paris: Gauthier-Villars, 1955 Availability: Items available for loan: Castorina (1)Call number: 511.3 R828d 1955 IMPA. Found in Open Library: Place hold Add to cart (remove)
	190.	No cover image available No cover image available Logic for mathematicians/ J. Barkley Rosser. by Rosser, J. Barkley (John Barkley), 1907- Series: International series in pure and applied mathematics Publication details: New York: McGraw-Hill, 1953 Availability: Items available for loan: Castorina (1)Call number: 511.3 R828l 1953 IMPA. Found in Open Library: Place hold Add to cart (remove)
	191.	No cover image available No cover image available Degrees of unsolvability/ Gerald E. Sacks. by Sacks, Gerald E Series: Annals of mathematics studies ; 55 Publication details: Princeton, N.J.: Princeton University Press, 1963 Availability: Items available for loan: Castorina (1)Call number: 511.3 S121d 1963 IMPA. Found in Open Library: Place hold Add to cart (remove)
	192.	Logic/ [by] Wesley C. Salmon. by Salmon, Wesley C Series: Prentice-Hall foundations of philosophy series Edition: 2d ed. Publication details: Englewood Cliffs, N.J., Prentice-Hall, [1973] Availability: Items available for loan: Castorina (1)Call number: 511.3 S172l 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	193.	Jewels of formal language theory/ Arto Salomaa. by Salomaa, Arto Publication details: London: Pitman, 1981 Availability: Items available for loan: Castorina (1)Call number: 511.3 S173j 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	194.	No cover image available No cover image available Mathematische Gesetze der Logik.. I. Vorlesungen uber Aussagenlogik. by Schmidt, H. Arnold, 1902- Series: Grundlehren der mathematischen Wissenschaften Publication details: Berlin: Springer, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 S351m 1960 IMPA. Place hold Add to cart (remove)
	195.	No cover image available No cover image available Grundzüge der mathematischen Logik/ von Heinrich Scholz und Gisbert Hasenjaeger. by Scholz, Heinrich, 1884-1956 Hasenjaeger, G. (Gisbert), 1919- [joint author.] Series: Grundlehren der mathematischen Wissenschaften ; Bd. 106. Publication details: Berlin: Springer, 1961 Availability: Items available for loan: Castorina (1)Call number: 511.3 S368g 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	196.	No cover image available No cover image available Vollständige Systeme modaler und intuitionistischer Logik. by Schütte, K. (Kurt) Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42. Publication details: Berlin: New York: Springer-Verlag, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 S415v 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	197.	Computable functions/ A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii. by Shen, A. (Alexander), 1958- Vereshchagin, Nikolai Konstantinovich, 1958- Series: Student mathematical library ; 19, Language: English Original language: Russian Publication details: Providence, R.I.: American Mathematical Society, c2003 Availability: Items available for loan: Castorina (1)Call number: 511.3 S546c 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	198.	No cover image available No cover image available Mathematical logic/ [by] Joseph R. Shoenfield. by Shoenfield, Joseph R. (Joseph Robert), 1927- Series: Addison-Wesley series in logic Publication details: Reading, Mass.: Addison-Wesley, [1967] Availability: Items available for loan: Castorina (1)Call number: 511.3 S559m 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	199.	Degrees of unsolvability/ Joseph R. Shoenfield. by Shoenfield, Joseph R. (Joseph Robert), 1927- Series: North-Holland mathematics studies ; 2 Publication details: Amsterdam ; London: North-Holland, 1971 Availability: Items available for loan: Castorina (1)Call number: 511.3 S559d 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	200.	No cover image available No cover image available Teorias matemáticas formalizadas. by Sikorski, Roman Series: Notas de lógica matemática ; 5. Edition: [1st ed.] Publication details: Bahía Blanca, Argentina: Univ. Nac. del Sur, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 S579t 1960 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 221 results.