Search

Your search returned 8 results.

Not what you expected? Check for suggestions

Results
		No cover image available Logic for Computer Science: Foundations of Automatic Theorem Proving Jean H Gallier by Gallier, Jean h. Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: New York John Wiley & Sons, Inc 1987Availability: Items available for loan: Bangalore University Library (1) Call number: 511.3 GAL. Place hold Log in to add tags Add to cart (remove)
		Symbolic Logic by Lewis Carroll by Logic, Symbolic \| Bartley, William Warren [Editor]. Edition: 5th edMaterial type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: England Harvester Press 1977Availability: Items available for loan: Bangalore University Library (1) Call number: 511.3 CAR. Place hold Log in to add tags Add to cart (remove)
		Discrete mathematics and its applications Kenneth H. Rosen. by Rosen, Kenneth H [Author]. Edition: 5th ed.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi McGraw-Hill Co. 2003Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (2) Call number: 511 ROS, ... Place hold Log in to add tags Add to cart (remove)
		Computability and logic George. Boolos by Boolos, George [Author] \| Jeffrey, Richard C. Edition: 3rd ed.Material type: Text Language: English Publication details: New York Cambridge University Press 1989Online access: Click here to access online \| Click here to access online Availability: Items available for loan: Bangalore University Library (1) Call number: 511.320 BOO. Place hold Log in to add tags Add to cart (remove)
		Tractatus logico-philosophicus [electronic resource] / Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951 \| Pears, David, 1921-2009 \| McGuinness, Brian. Series: Routledge great mindsMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Original language: German Publication details: Oxon [England] : Routledge, 2014Online access: Click here to view Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		A concise introduction to pure mathematics. by Liebeck, Martin. Edition: 4th ed. Publication details: London : CRC Press, 2016Availability: Items available for loan: Bangalore University Library (1) Call number: 510 LIE. Place hold Log in to add tags Add to cart (remove)
		Discrete mathematics and its applications. by Rosen, Kenneth H. Edition: 4th ed. Publication details: New York : McGraw Hill Education (India) Pvt. Ltd., 2012Availability: Items available for loan: Bangalore University Library (1) Call number: 511 ROS. Place hold Log in to add tags Add to cart (remove)
		Discrete structures, logic, and computability by Hein, James L. Edition: 4th ed. Publication details: New Delhi : Jones & Bartlett Learning, 2017Availability: Items available for loan: Bangalore University Library (1) Call number: 004.0151 HEI. Place hold Log in to add tags Add to cart (remove)

Powered by Koha