Periódicos correntes

Your search returned 6 results.

Results
	1.	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 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 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)
	4.	To H. B. Curry: essays on combinatory logic, lambda calculus, and formalism/ edited by J. P. Seldin, J. R. Hindley. by Curry, Haskell B. (Haskell Brooks), 1900- Hindley, J. Roger Seldin, J. P Publication details: London New York: Academic Press, 1980 Availability: Items available for loan: Castorina (1)Call number: 510.92 C976 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available Outlines of a formalist philosophy of mathematics. by Curry, Haskell B. (Haskell Brooks), 1900- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1951 Availability: Items available for loan: Castorina (2)Call number: 511.3 C976o 1951 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	6.	No cover image available No cover image available Combinatory logic/ Haskell B. Curry, Robert Feys. With two sections by William Craig. by Curry, Haskell B. (Haskell Brooks), 1900- Feys, Robert, 1889- [joint author.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1968-72 Availability: Items available for loan: Castorina (1)Call number: 511.3 C976c 1972 IMPA. Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha