Search Results for Logic. - Narrowed by: E-Book - 1989 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025091989$0025091989$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-03T05:32:34Z Computability, complexity, logic ent://SD_ILS/0/SD_ILS:257173 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;B&ouml;rger, E. (Egon), 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 ent://SD_ILS/0/SD_ILS:257089 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Logic Colloquium (1987 : Granada, Spain)&#160;Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 ent://SD_ILS/0/SD_ILS:256958 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Logic Colloquium (1988 : Padova, Italy)&#160;Ferro, R. (Ruggero)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 ent://SD_ILS/0/SD_ILS:257172 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia)&#160;Fenstad, Jens Erik.&#160;Frolov, Ivan Timofeevich.&#160;Hilpinen, Risto.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-based decision support mixed integer model formulation ent://SD_ILS/0/SD_ILS:256782 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Jeroslow, Robert G., 1942-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:257171 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication complexity a new approach to circuit depth ent://SD_ILS/0/SD_ILS:220119 2024-09-03T05:32:34Z 2024-09-03T05:32:34Z Author&#160;Karchmer, Mauricio.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>