Your search returned 2 results.

Results
	1.	A concise introduction to mathematical logic Wolfgang Rautenberg. by Rautenberg, Wolfgang Edition: 3rd ed. Publication details: New York : Springer Science + Business Mediallc, 2010 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 R194C3. Add to cart (remove)
	2.	Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd edition Publication details: Delhi Cambridge University Press, 2016 Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 004.0151 H971L, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 004.0151 H971L, ... Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)

Refine your search