Your search returned 19 results.

Results
		Adapting proofs-as-program: the curry-howard protocol by Poernomo, Iman Hafiz Martin, Wirsing John, Newsome Crossley Series: (Monographs in computer science) Publication details: USA Springer 2005 Availability: Items available for loan: University Library (1)Call number: 004.422 POE. Place hold Add to cart (remove)
		No cover image available Discrete mathematics: mathematical reasoning and proof with puzzles, patterns and games by Ensley, Douglas E Crawley, Winston J Publication details: New Jersey John Wiley 2006 Availability: Items available for loan: University Library (1)Call number: 519.11 ENS. Place hold Add to cart (remove)
		No cover image available Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989 by Logic from computer [] Edition: Publication details: New York Springer-Verlag 1992 Availability: Items available for loan: University Library (1)Call number: 510.6:681.31 MOS. Place hold Add to cart (remove)
		No cover image available Structuralist theory of logic by Koslow, Arnold [] Edition: Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: University Library (1)Call number: 510.62 KOS. Place hold Add to cart (remove)
		No cover image available Fuzzy Logic Technology and Applications by Marks, J Robert [] Edition: Publication details: New York Insititute of Elelctrical and Electronics Engineers 1994 Availability: Items available for loan: University Library (1)Call number: 681.5 MAR. Place hold Add to cart (remove)
		No cover image available System of Logic by Martin, Norman M [] Edition: Publication details: Cambridge Cambridge University Press 1989 Availability: Items available for loan: University Library (1)Call number: 164.042 MAR. Place hold Add to cart (remove)
		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)
		search for certainty : a philosophical account of foundations of mathematics by Giaquinto, Marcus [] Edition: Publication details: Oxford Clarendon Press 2002 Availability: Items available for loan: University Library (1)Call number: 510.2 GIA. Place hold Add to cart (remove)
		Paradox and paraconsistency: conflict resolution in the abstract sciences by Woods, John [] Edition: Publication details: Cambridge Cambridge University Press 2003 Availability: Items available for loan: University Library (1)Call number: 510.6 WOO. Place hold Add to cart (remove)
		Logic, sets and recursion by Causey, Robert L Edition: 2nd ed. Publication details: Sudbury Jones and Bartlett 2010 Availability: Items available for loan: University Library (1)Call number: 510.63 CAU. Place hold Add to cart (remove)
		Roads to Infinity the mathematics of truth and proof by Stillwell, John Publication details: Massachusetts A.K. Press Ltd 2010 Availability: Items available for loan: University Library (1)Call number: 510.6 STI. Place hold Add to cart (remove)
		Computational logic and human thinking how to be artificially intelligent by Kowalski, Robert Publication details: Cambridge Cambridge university press 2011 Availability: Items available for loan: University Library (1)Call number: 004.81:159.955 KOW. Place hold Add to cart (remove)
		Is god a mathematician? by Livio, Mario Publication details: New York Simon and schuster 2010 Availability: Items available for loan: University Library (1)Call number: 510.6 LIV. Place hold Add to cart (remove)
		Course on mathematical logic by Srivastava, Shashi Mohan Series: Universitext Edition: 2nd ed. Publication details: New York Springer 2013 Availability: Items available for loan: University Library (1)Call number: 510.6 SRI. Place hold Add to cart (remove)
		Program logics for certified compilers Andrew Appel W....[et.al] by Appel, Andrew W...[et.al] Dock, Robert Hobor, Aquinas Beringer, Lennart Publication details: New York Cambridge University Press 2014 Availability: Items available for loan: University Library (1)Call number: 004.42 APP. Place hold Add to cart (remove)
		E-recursion, forcing and C-algebras ed.by Chitat, Chong...[et.al] by Chong, Chitat...[et.al]. ed [ed.by] Series: Lecture notes series, Institute for mathematical sciences, National university of Singapore Vol.27 Publication details: New Jersey World Scientific 2014 Availability: Items available for loan:* University Library (1)Call number: 510.67 CHO. Place hold Add to cart (remove)
		Picturing quantum processes a first course in quantum theory and diagrammatic reasoning Bob Coecke, University of Oxford, Aleks Kissinger, Radbound University. by Coecke, Bob [author] Kissinger, Aleks Publication details: United Kingdom Cambridge university 2017 Availability: Items available for loan: University Library (1)Call number: 530.145 COE. Place hold Add to cart (remove)
		Discrete mathematics and its applications with combinatorics and graph theory by Rosen, Kenneth H Edition: 7th ed. Publication details: Chennai McGraw Hill 2011 Availability: Items available for loan: University Library (5)Call number: 519.11 ROS, ... Place hold Add to cart (remove)
		No cover image available Computational thinking for the modern problem solver by Riley,David.D Publication details: CRC Press New York 2014 Availability: Items available for loan: University Library (1)Call number: 004.81:159.955 RIL/C. Place hold Add to cart (remove)

University Library, CUSAT