Your search returned 2 results.

Results
	1.		Models and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss by Cooper, S. B Truss, J. K Association for Symbolic Logic, Logic Colloquium (1997 : Leeds, England) Publication details: Cambridge Cambridge University Press 1999 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 COO.
	2.		Foundations of mathematical analysis J.K. Truss by Truss, J. K Edition: First edition Publication details: Oxford Clarendon Press ; Oxford University Press 1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 515 TRU.

Refine your search