Your search returned 6 results.

Results
		Sets, logic and categories by Cameron, Peter J [] Edition: Publication details: London Springer-Verlag 1999 Availability: Items available for loan: University Library (1)Call number: 510.22 CAM. Place hold Add to cart (remove)
		Algebraic theories a categorical introduction to general algebra J Adamek , J. Rosicky and E. M. Vitale by Adamek J Rosicky J Vitale E.M Publication details: Cambridge Cambridge University Press 2011 Online access: Click here to access online Availability: Items available for loan: University Library (1). Place hold Add to cart (remove)
		Infinity new research frontiers ed.by Michael Heller and W. Hugh Woodin by Heller, Michael; ed [ed.by] Woodin, W Hugh, ed.by Publication details: Cambridge Cambridge University Press 2011 Online access: Click here to access online Availability: Items available for loan: University Library (1). Place hold Add to cart (remove)
		Set theory, arithmetic, and foundations of mathematics theorems, philosophies ed.by Juliette Kennedy and Roman Kossak by Kennedy, Juliette; ed [ed.by ] Kossak, Roman; ed.by Publication details: Cambridge Cambridge University Press 2011 Online access: Click here to access online Availability: Items available for loan: University Library (1). Place hold Add to cart (remove)
		Functorial model theory newer applications to algebraic topology, descriptive sets, and computing categories topos by Nourani, Cyrus F [author.] Publication details: Toronto Apple academic press 2014 Availability: Items available for loan: University Library (1)Call number: 515.142 NOU. Place hold Add to cart (remove)
		Programming with Higher-order Logic by Miller, Dale Nadathur, Gopalan Publication details: CUP 2012 Online access: Click here to access online Availability: Items available for loan: University Library (1). Place hold Add to cart (remove)

University Library, CUSAT