Search Results for Logic. - Narrowed by: 1989SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091989$0025091989$0026te$003dILS$0026ps$003d300?2025-12-16T07:17:52ZComputability, complexity, logicent://SD_ILS/0/SD_ILS:2571732025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor 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/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Computability and logicent://SD_ILS/0/SD_ILS:717942025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Boolos, George S. Jeffrey, R. C., ort. yaz.<br/>Preferred Shelf Number QA 9.59 B66 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Systems of logicent://SD_ILS/0/SD_ILS:7692025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Martin, Norman M.<br/>Preferred Shelf Number BC 135 M325 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of illocutionary logicent://SD_ILS/0/SD_ILS:202742025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Searle, John R.<br/>Preferred Shelf Number P 95.55 S42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Advanced digital logic conceptsent://SD_ILS/0/SD_ILS:276382025-12-16T07:17:52Z2025-12-16T07:17:52ZPreferred Shelf Number TK 7868.D5 A95 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor 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/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Foundations of equational logic programmingent://SD_ILS/0/SD_ILS:322332025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Hölldobler, Steffen, 1957-<br/>Preferred Shelf Number QA 76.63 H65 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Electronic Resources<br/>Availability 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, 1987ent://SD_ILS/0/SD_ILS:2571722025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</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-16T07:17:52Z2025-12-16T07:17:52ZAuthor 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/>Interactive relational database design : a logic programming implementationent://SD_ILS/0/SD_ILS:698492025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Bagchi, Tapan P.<br/>Preferred Shelf Number QA 76.9.D26 B34 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor 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/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor 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/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.ent://SD_ILS/0/SD_ILS:690402025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.<br/>Preferred Shelf Number QA 76.9.M35 W67 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Functional Grammar and the Computerent://SD_ILS/0/SD_ILS:5339922025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Bakker, Dik, contributor. Connolly, John H., contributor. Connolly, John, editor. Dignum, Frank, contributor. Dik, Simon C., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110871685">https://doi.org/10.1515/9783110871685</a>
<a href="https://www.degruyter.com/isbn/9783110871685">https://www.degruyter.com/isbn/9783110871685</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110871685/original">https://www.degruyter.com/document/cover/isbn/9783110871685/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Norms in Argumentation : Proceedings of the Conference on Norms 1988ent://SD_ILS/0/SD_ILS:5340362025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Balagangadhara, S.N., contributor. Blair, J. Anthony, contributor. Borel, Marie-Jeanne, contributor. Eemeren, Frans H. van, contributor. Grootendorst, Rob, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110877175">https://doi.org/10.1515/9783110877175</a>
<a href="https://www.degruyter.com/isbn/9783110877175">https://www.degruyter.com/isbn/9783110877175</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110877175/original">https://www.degruyter.com/document/cover/isbn/9783110877175/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication complexity a new approach to circuit depthent://SD_ILS/0/SD_ILS:2201192025-12-16T07:17:52Z2025-12-16T07:17:52ZAuthor Karchmer, Mauricio.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>