Search Results for Language and logic. - Narrowed by: 1991-1997SirsiDynix Enterprisehttps://libraryconnect.iie.ac.za/client/en_US/iie/iie/qu$003dLanguage$002band$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091991-1997$0025091991-1997$0026ps$003d300?2025-07-20T01:31:22ZThe limits of logic : higher-order logic and the Löwenheim-Skolem theorement://SD_ILS/0/SD_ILS:464992025-07-20T01:31:22Z2025-07-20T01:31:22Zby Shapiro, Stewart, 1951-<br/>Format: Books<br/>Publication Date 1996<br/>The last wordent://SD_ILS/0/SD_ILS:387992025-07-20T01:31:22Z2025-07-20T01:31:22Zby Nagel, Thomas.<br/>Format: Books<br/>Publication Date 1997<br/>Mathematics, the science of patterns : the search for order in life, mind, and the universeent://SD_ILS/0/SD_ILS:532582025-07-20T01:31:22Z2025-07-20T01:31:22Zby Devlin, Keith J.<br/>Format: Books<br/>Publication Date 1997<br/>Power of developmentent://SD_ILS/0/SD_ILS:283982025-07-20T01:31:22Z2025-07-20T01:31:22Zby Crush, J. S.<br/>Format: Books<br/>Publication Date 1995<br/>Artificial intelligenceent://SD_ILS/0/SD_ILS:155882025-07-20T01:31:22Z2025-07-20T01:31:22Zby Rich, Elaine.<br/>Publisher description <a href="http://catdir.loc.gov/catdir/description/mh022/90020608.html">http://catdir.loc.gov/catdir/description/mh022/90020608.html</a>
Table of contents <a href="http://catdir.loc.gov/catdir/toc/mh021/90020608.html">http://catdir.loc.gov/catdir/toc/mh021/90020608.html</a>
Table of contents <a href="http://www.gbv.de/dms/bowker/toc/9780070522633.pdf">http://www.gbv.de/dms/bowker/toc/9780070522633.pdf</a><br/>Format: Books<br/>Publication Date 1991<br/>