Search Results for Logic, Symbolic and mathematical. - Narrowed by: 1:OS-STUDENT

Search Results for Logic, Symbolic and mathematical. - Narrowed by: 1:OS-STUDENT SirsiDynix Enterprise https://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AOS-STUDENT$0025091$00253AOS-STUDENT$0026ps$003d300? 2025-05-30T22:21:45Z Logic and discrete mathematics : a concise introduction. [Hauptbd.] ... ent://SD_ILS/0/SD_ILS:54650 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Conradie, Willem (DE-601)82883458X (DE-588)1073308510<br/>Format: Books<br/>Publication Date 2015<br/> Computational logic and human thinking : how to be artificially intelligent ent://SD_ILS/0/SD_ILS:56587 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Kowalski, Robert.<br/>EBSCO <a href="https://ezproxy.iielearn.ac.za/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&AN=375916&site=ehost-live&scope=site">https://ezproxy.iielearn.ac.za/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&AN=375916&site=ehost-live&scope=site</a><br/>Format: Books<br/>Publication Date 2011<br/> Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games ent://SD_ILS/0/SD_ILS:31233 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Ensley, Douglas E.<br/>Publisher description <a href="http://www.loc.gov/catdir/enhancements/fy0622/2005017417-d.html">http://www.loc.gov/catdir/enhancements/fy0622/2005017417-d.html</a> Table of contents <a href="http://www.loc.gov/catdir/toc/ecip0514/2005017417.html">http://www.loc.gov/catdir/toc/ecip0514/2005017417.html</a><br/>Format: Books<br/>Publication Date 2006<br/> Mathematical logic for computer science ent://SD_ILS/0/SD_ILS:40786 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Ben-Ari, M.<br/>Format: Books<br/>Publication Date 2003 2001<br/> The limits of logic : higher-order logic and the Löwenheim-Skolem theorem ent://SD_ILS/0/SD_ILS:46499 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Shapiro, Stewart, 1951-<br/>Format: Books<br/>Publication Date 1996<br/> A course in mathematical logic ent://SD_ILS/0/SD_ILS:33715 2025-05-30T22:21:45Z 2025-05-30T22:21:45Z by Bell, J. L. (John Lane)<br/>Format: Books<br/>Publication Date 1977<br/>