Your search returned 3 results.

Results
	1.	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)
	2.	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)
	3.	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)

Refine your search