Your search returned 2 results.

Results
	1.	Image from Amazon.com	From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster. by Crosilla, Laura Schuster, Peter, 1966- Series: Oxford logic guides ; 48 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon ; Oxford University Press, 2005 Online resources: Publisher description Table of contents only Availability: Items available for loan: Annex Campus Library (1)Call number: QA 9.56 .F76 2005. Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	On-orbit operations optimization : modeling and algorithms / Leping Yang, Yanwei Zhu, Xianhai Ren, Yuanwen Zhang. by Yang, Leping [author.] Series: SpringerBriefs in optimization Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New York, NY : Springer, 2014 Online resources: SpringerLink eBooks Availability: Items available for loan: Margaret Thatcher Library (1)Call number: TL 790 .O73 2014. Place hold Save to lists Add to cart (remove)