Search Results for Logic, Symbolic and mathematical. - Narrowed by: 1:IIEMSASirsiDynix Enterprisehttps://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AIIEMSA$0025091$00253AIIEMSA$0026ps$003d300?2025-05-31T18:41:39ZLogic and discrete mathematics : a concise introduction. [Hauptbd.] ...ent://SD_ILS/0/SD_ILS:546502025-05-31T18:41:39Z2025-05-31T18:41:39Zby Conradie, Willem (DE-601)82883458X (DE-588)1073308510<br/>Format: Books<br/>Publication Date 2015<br/>Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and gamesent://SD_ILS/0/SD_ILS:312332025-05-31T18:41:39Z2025-05-31T18:41:39Zby 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 scienceent://SD_ILS/0/SD_ILS:407862025-05-31T18:41:39Z2025-05-31T18:41:39Zby Ben-Ari, M.<br/>Format: Books<br/>Publication Date 2003 2001<br/>The limits of logic : higher-order logic and the Löwenheim-Skolem theorement://SD_ILS/0/SD_ILS:464992025-05-31T18:41:39Z2025-05-31T18:41:39Zby Shapiro, Stewart, 1951-<br/>Format: Books<br/>Publication Date 1996<br/>A course in mathematical logicent://SD_ILS/0/SD_ILS:337152025-05-31T18:41:39Z2025-05-31T18:41:39Zby Bell, J. L. (John Lane)<br/>Format: Books<br/>Publication Date 1977<br/>