Search Results for Logic. - Narrowed by: 1999SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091999$0025091999$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-11-14T13:38:19ZIntroduction to logicent://SD_ILS/0/SD_ILS:7482024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Tools and techniques in modal logicent://SD_ILS/0/SD_ILS:2565492024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Kracht, Marcus.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Jacobs, Bart.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Air logic control for automated systemsent://SD_ILS/0/SD_ILS:2849692024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Wojtecki, Rudy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-performance system design circuits and logicent://SD_ILS/0/SD_ILS:2495992024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Language, logic, and concepts : Essays in memory of John Macnamaraent://SD_ILS/0/SD_ILS:779772024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.<br/>Preferred Shelf Number BF 201 L36 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Handbook of computability theoryent://SD_ILS/0/SD_ILS:2565342024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Griffor, Edward R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Fuzzy theory systems techniques and applicationsent://SD_ILS/0/SD_ILS:2536852024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Leondes, Cornelius T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124438705">http://www.sciencedirect.com/science/book/9780124438705</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimization methods for logical inferenceent://SD_ILS/0/SD_ILS:3003052024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Chandru, Vijay, 1953- Hooker, John, 1949-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033166">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=695262">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/98044622.html">http://catdir.loc.gov/catdir/bios/wiley042/98044622.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mantıkent://SD_ILS/0/SD_ILS:1086032024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Çüçen, A. Kadir.<br/>Preferred Shelf Number BC117.T8 C46 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Wissenschaft der Logikent://SD_ILS/0/SD_ILS:1158892024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Hegel, Georg Wilhelm Friedrich. Jaeschke, Walter von. Gawoll, Hans-Jürgen.<br/>Preferred Shelf Number B2942 H444 1999 BAND 11<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Symbolic Methods in Control System Analysis and Designent://SD_ILS/0/SD_ILS:2477092024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Munro, Neil, ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beyin geliştirmeent://SD_ILS/0/SD_ILS:5092922024-11-14T13:38:19Z2024-11-14T13:38:19ZAuthor Vos Savant, Marilyn Mach. Fleischer, Leonore. Şen, Cem.<br/>Preferred Shelf Number BF441 V67 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>