Search Results for Mathematics. - Narrowed by: Logic, Symbolic and mathematical.SirsiDynix Enterprisehttps://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dMathematics.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300?2025-07-21T15:09:55ZDiscrete mathematics : mathematical reasoning and proof with puzzles, patterns, and gamesent://SD_ILS/0/SD_ILS:312332025-07-21T15:09:55Z2025-07-21T15:09:55Zby 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-07-21T15:09:55Z2025-07-21T15:09:55Zby 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-07-21T15:09:55Z2025-07-21T15:09:55Zby Shapiro, Stewart, 1951-<br/>Format: Books<br/>Publication Date 1996<br/>A course in mathematical logicent://SD_ILS/0/SD_ILS:337152025-07-21T15:09:55Z2025-07-21T15:09:55Zby Bell, J. L. (John Lane)<br/>Format: Books<br/>Publication Date 1977<br/>