Your search returned 2 results.

Results
	1.	Image from Amazon.com	Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith. by Nordström, Bengt Petersson, Kent Smith, Jan M Series: International series of monographs on computer science ; 7 \| Oxford science publications Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1990 Online resources: Publisher description Table of contents only Availability: Items available for loan: Margaret Thatcher Library (3)Call number: QA 76.6 .N66 1990, ... Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	Communicate : strategies for international teaching assistants / Jan Smith, Colleen M. Meyers, Amy J. Burkhalter. by Smith, Jan, 1950- Meyers, Colleen M, 1951- Burkhalter, Amy J, 1956- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Regents/Prentice Hall, c1992 Availability: Items available for loan: Margaret Thatcher Library (1)Call number: LB 2335.4 .S65 1992. Place hold Save to lists Add to cart (remove)

Refine your search