Search Results for Elsevier - Narrowed by: Logic, Symbolic and mathematical.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElsevier$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300?dt=list2025-12-08T16:26:19ZHandbook of logic and languageent://SD_ILS/0/SD_ILS:1481462025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of the logic of argument and inference the turn towards the practicalent://SD_ILS/0/SD_ILS:2566062025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Gabbay, Dov M., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Admissibility of logical inference rulesent://SD_ILS/0/SD_ILS:2565422025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Rybakov, Vladimir V. (Vladimir Vladimir), 1961-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444895059">http://www.sciencedirect.com/science/book/9780444895059</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor 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/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical frameworks for truth and abstraction an axiomatic studyent://SD_ILS/0/SD_ILS:2565332025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Cantini, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-based decision support mixed integer model formulationent://SD_ILS/0/SD_ILS:2567822025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Jeroslow, Robert G., 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</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:2572342025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor 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/>Foundational studies selected works. Volume IIent://SD_ILS/0/SD_ILS:2572612025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational studies selected works. Volume Ient://SD_ILS/0/SD_ILS:2573402025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851024">http://www.sciencedirect.com/science/book/9780444851024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intensional and higher-order modal logic with applications to Montague semanticsent://SD_ILS/0/SD_ILS:2570382025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Gallin, Daniel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444110022">http://www.sciencedirect.com/science/book/9780444110022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A survey of mathematical logicent://SD_ILS/0/SD_ILS:2573542025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Wang, Hao, 1921-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:2572742025-12-08T16:26:19Z2025-12-08T16:26:19ZAuthor Mostowski, Andrzej.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533753">http://www.sciencedirect.com/science/book/9780444533753</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>