Search Results for Mathematical logic. - Narrowed by: Electronic books. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bbooks.$002509Electronic$002bbooks.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-24T12:44:27Z An introduction to practical formal methods using temporal logic ent://SD_ILS/0/SD_ILS:305703 2024-11-24T12:44:27Z 2024-11-24T12:44:27Z Author&#160;Fisher, Michael, 1962-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a> <a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorems, corollaries, lemmas, and methods of proof ent://SD_ILS/0/SD_ILS:303091 2024-11-24T12:44:27Z 2024-11-24T12:44:27Z Author&#160;Rossi, Richard J., 1956-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logically determined design clockless system design with NULL convention logic ent://SD_ILS/0/SD_ILS:301645 2024-11-24T12:44:27Z 2024-11-24T12:44:27Z Author&#160;Fant, Karl M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning to reason an introduction to logic, sets and relations ent://SD_ILS/0/SD_ILS:300357 2024-11-24T12:44:27Z 2024-11-24T12:44:27Z Author&#160;Rodgers, Nancy, 1941-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">An electronic book accessible through the World Wide Web; click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818931">Click here to view book</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a> ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets ent://SD_ILS/0/SD_ILS:249679 2024-11-24T12:44:27Z 2024-11-24T12:44:27Z Author&#160;Gregg, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>