NUST Institutions Library Catalogue catalog › Results of search for '(su:"Propositional calculus")'

Your search returned 2 results.

Not what you expected? Check for suggestions

		Handbook of satisfiability Armin Biere by Biere, Armin. Publisher: Amsterdam, The Netherlands ; Washington, DC ; IOS Press, c2009Availability: Items available for reference: Central Library (CL) Not for loanCall number: 511.3 BIE (1). :
		Introduction to mathematics of satisfiability Victor W. Marek. by Marek, W. Viktor. Publisher: Boca Raton : CRC Press, c2009Availability: Items available for loan: Central Library (CL)Call number: 511.3 MAR (1). Place hold Find in NUST Repository