Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Logic, sets, and recursion / Robert L. Causey. by Causey, Robert L Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Sudbury, Mass. : Jones and Bartlett Publishers, c2006 Availability: Items available for loan: Central Library, SUST (2)Call number: 511.3 CAL, ... Place hold Add to cart (remove)
	2.	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by Lewis, Harry R Papadimitriou, Christos H Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, N.J. : Prentice-Hall, c1998 Availability: Items available for loan: Central Library, SUST (8)Call number: 511.3 LEE, ... Place hold Add to cart (remove)
	3.	No cover image available No cover image available Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) Beklemishev, Lev D [Queiroz, Ruy de queiroz] Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin. : Springer. 2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ... Place hold Add to cart (remove)
	4.	No cover image available No cover image available The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, Amir, 1941-2009 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1992 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ... Place hold Add to cart (remove)
	5.	Mathematical logic for computer science / Mordechai Ben-Ari. by Ben-Ari, M, 1948- Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 BEM, ... Place hold Add to cart (remove)
	6.	Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg. by Gregg, John Series: IEEE Press understanding science & technology series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : IEEE Press, c1998 Online access: Table of Contents Publisher description Availability: Items available for loan: Central Library, SUST (2)Call number: 511.324 GRO, ... Place hold Add to cart (remove)