Search Results for logique mathématique.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dlogique$002bmath$0025C3$0025A9matique.$0026ic$003dtrue$0026ps$003d300?2026-03-10T20:20:36ZIntroduction a la logiqueent://SD_ILS/0/SD_ILS:460522026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Tarski, Alfred.<br/>Preferred Shelf Number QA 9 T3 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:2572142026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to fuzzy logicent://SD_ILS/0/SD_ILS:5966432026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Peckol, James K., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number QA9.64 .P43 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ones and zeros understanding Boolean algebra, digital circuits, and the logic of setsent://SD_ILS/0/SD_ILS:2496792026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Gregg, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342026-03-10T20:20:36Z2026-03-10T20:20:36ZAuthor Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>