Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
The combinatory programme/ Erwin Engeler ... [et al.]. by
  • Engeler, Erwin
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, 1995
Availability: Items available for loan: Castorina (1)Call number: 511.3 C731 1995 IMPA.

Place hold Add to cart
2.
No cover image available 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
3.
See Baker & Taylor
Introduction to combinatory logic/ [by] J. R. Hindley, B. Lercher and J. P. Seldin. by
  • Hindley, J. Roger
  • Lercher, B [joint author.]
  • Seldin, J. P [joint author.]
Series: London Mathematical Society lecture note series ; 7.
Publication details: Cambridge, UK: University Press, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 H662i 1972 IMPA.

Place hold Add to cart
4.
See Baker & Taylor
Combinatory reduction systems/ J. W. Klop. by
  • Klop, J. W
Series: Mathematical Centre tracts ; 127.
Publication details: Amsterdam ; Mathematisch centrum, 1980
Dissertation note: Thesis (Ph. D.)--State University of Utrecht.
Availability: Items available for loan: Castorina (1)Call number: 511.3 K66c 1980 IMPA.

Place hold Add to cart
5.
See Baker & Taylor
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.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha