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

Results
	61.	No cover image available No cover image available No cover image available Leçons de logique algébrique/ Haskell B. Curry. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Collection de logique mathématique : sér. A ; 2. Publication details: Paris: Gauthier-Villars, 1952 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976l 1952 IMPA. Found in Open Library: Place hold Add to cart (remove)
	62.	No cover image available No cover image available No cover image available Foundations of mathematical logic/ Haskell B. Curry. by Curry, Haskell B. (Haskell Brooks), 1900- Series: McGraw-Hill series in higher mathematics Publication details: New York: McGraw-Hill, [1963] Availability: Items available for loan: Castorina (1)Call number: 511.3 C976f 1963 IMPA. Found in Open Library: Place hold Add to cart (remove)
	63.	No cover image available No cover image available No cover image available A theory of formal deducibility. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Notre Dame mathematical lectures ; no. 6. Publication details: Notre Dame, Ind.: 1950 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976t 1950 IMPA. Found in Open Library: Place hold Add to cart (remove)
	64.	Computability, an introduction to recursive function theory/ Nigel Cutland. by Cutland, Nigel Publication details: Cambridge, UK: New York: Cambridge University Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 C989c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	65.	Logic and structure/ Dirk van Dalen. by Dalen, D. van (Dirk), 1932- Series: Universitext Edition: 2nd ed. Publication details: Berlin ; New York: Springer-Verlag, c1983 Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	66.	Logic and structure/ Dirk van Dalen. by Dalen, D. van (Dirk), 1932- Series: Universitext Edition: 3rd augm. ed. Publication details: Berlin; New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	67.	No cover image available No cover image available No cover image available Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Series: McGraw-Hill series in information processing and computers Publication details: New York: McGraw-Hill, 1958 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	68.	No cover image available No cover image available No cover image available Lecture notes on mathematical logic: Fall 1959/ Based on student notes by Allen Weingarten. by Davis, Martin, 1928- Weingarten, Allen Courant Institute of Mathematical Sciences Publication details: [New York]: New York University, [1959] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263l 1959 IMPA. Place hold Add to cart (remove)
	69.	No cover image available No cover image available No cover image available The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ Martin Davis. by Davis, Martin, 1928- [ed.] Publication details: Hewlett, N.Y.: Raven Press, [1965] Availability: Items available for loan: Castorina (1)Call number: 511.3 D263u 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)
	70.	No cover image available No cover image available No cover image available Computability, 1973-1974/ Martin Davis ; notes by Barry Jacobs. by Davis, Martin, 1928- Jacobs, Barry Courant Institute of Mathematical Sciences Publication details: New York: Courant Institute of Mathematical Sciences, c1974 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	71.	Computability & unsolvability/ Martin Davis. by Davis, Martin, 1928- Edition: Dover ed. Publication details: New York: Dover, 1982 Availability: Items available for loan: Castorina (1)Call number: 511.3 D263c 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	72.	No cover image available No cover image available No cover image available Recursive equivalence types/ by J. C. E. Dekker and J. Myhill. by Dekker, Jacob C. E, 1921- Myhill, John [joint author.] Series: University of California, Berkeley. University of California publications in mathematics ; new ser., v. 3, no. 3..University of California publications in mathematics ; new ser., v. 3, no. 3. Publication details: Berkeley: University of California Press, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 D328r 1960 IMPA. Found in Open Library: Place hold Add to cart (remove)
	73.	No cover image available No cover image available No cover image available Les fonctions combinatoires et les isols/ par J. C. E. Dekker. by Dekker, Jacob C. E, 1921- Series: Collection de logique mathématique : sér. A ; 22. Publication details: Paris: Gauthier-Villars, 1966 Availability: Items available for loan: Castorina (1)Call number: 511.3 D328f 1966 IMPA. Found in Open Library: Place hold Add to cart (remove)
	74.	No cover image available No cover image available No cover image available Matematicka logika. by Devidé, Vladimir Series: Posebna izdanja (Matematicki institut (Belgrade, Serbia)) ; knj. 3. Publication details: Beograd: Matematisk Institut, Aarhus Universitet, 1964- Availability: Items available for loan: Castorina (1)Call number: 511.3 D492m 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	75.	No cover image available No cover image available No cover image available Initiation a la logique/ Dominique Dubarle. by Dubarle, Dominique Series: Collection de logique mathématique : sér. A ; 13. Publication details: Paris: Gauthier-Villars, 1957 Availability: Items available for loan: Castorina (1)Call number: 511.3 D813i 1957 IMPA. Found in Open Library: Place hold Add to cart (remove)
	76.	Mathematical logic/ H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate texts in mathematics Language: English Original language: German Publication details: New York: Springer-Verlag, c1984 Availability: Items available for loan: Castorina (1)Call number: 511.3 E15m 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	77.	Mathematical logic/ H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate texts in mathematics Edition: 2nd ed. Language: English Original language: German Publication details: New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1)Call number: 511.3 E15m 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	78.	No cover image available No cover image available No cover image available Logic by way of set theory/ Henry Ehlers by Ehlers, Henry Publication details: New York: Holt, Rinehart and Winston, [1968] Availability: Items available for loan: Castorina (1)Call number: 511.3 E33l 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	79.	No cover image available No cover image available No cover image available Recursiveness/ [by] Samuel Eilenberg [and] Calvin C. Elgot. by Eilenberg, Samuel Elgot, Calvin C [joint author.] Publication details: New York: Academic Press, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 E34r 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	80.	A mathematical introduction to logic/ Herbert B. Enderton. by Enderton, Herbert B Publication details: New York: Academic Press, [1972] Availability: Items available for loan: Castorina (1)Call number: 511.3 E56m 1972 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.