Arama Sonu&ccedil;lar&#305; Logic. - Daralt&#305;lm&#305;&#351;: 1989 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091989$0025091989$0026te$003dILS$0026ps$003d300?dt=list 2024-12-25T00:59:09Z Computability, complexity, logic ent://SD_ILS/0/SD_ILS:257173 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;B&ouml;rger, E. (Egon), 1946-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Suppes, Patrick Colonel, 1922-<br/>Yer Numaras&#305;&#160;BC 108 S85 1957<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Systems of logic ent://SD_ILS/0/SD_ILS:769 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Martin, Norman M.<br/>Yer Numaras&#305;&#160;BC 135 M325 1989<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Computability and logic ent://SD_ILS/0/SD_ILS:71794 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Boolos, George S.&#160;Jeffrey, R. C., ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9.59 B66 1989<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Foundations of illocutionary logic ent://SD_ILS/0/SD_ILS:20274 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Searle, John R.<br/>Yer Numaras&#305;&#160;P 95.55 S42 1985<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Advanced digital logic concepts ent://SD_ILS/0/SD_ILS:27638 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yer Numaras&#305;&#160;TK 7868.D5 A95 1983<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Yer Numaras&#305;&#160;BC 108 A55 1972<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Studies in inductive logic and probability ent://SD_ILS/0/SD_ILS:35499 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Carnap, Rudolf, 1891-1970.&#160;Jeffrey, Richard C., ed.<br/>Yer Numaras&#305;&#160;QA 273.4 C37 1971-<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Foundations of equational logic programming ent://SD_ILS/0/SD_ILS:32233 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;H&ouml;lldobler, Steffen, 1957-<br/>Yer Numaras&#305;&#160;QA 76.63 H65 1989<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~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-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Logic Colloquium (1988 : Padova, Italy)&#160;Ferro, R. (Ruggero)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Logic Colloquium (1987 : Granada, Spain)&#160;Ebbinghaus, Heinz-Dieter, 1939-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-based decision support mixed integer model formulation ent://SD_ILS/0/SD_ILS:256782 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Jeroslow, Robert G., 1942-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interactive relational database design : a logic programming implementation ent://SD_ILS/0/SD_ILS:69849 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Bagchi, Tapan P.<br/>Yer Numaras&#305;&#160;QA 76.9.D26 B34 1989<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Henkin, Leon.&#160;Monk, J. Donald, ort. yaz.&#160;Tarski, Alfred, ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9 H415 1971- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Odifreddi, Piergiorgio, 1950-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:257171 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Odifreddi, Piergiorgio, 1950-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. B&ouml;rger, H. K. B&uuml;ning and M. M. Richter. ent://SD_ILS/0/SD_ILS:69040 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Workshop on computer science logic (2nd : 1988 : Duisburg Germany)&#160;B&uuml;ning, H. K., ort. yaz.&#160;Richter, M. M., ort. yaz.<br/>Yer Numaras&#305;&#160;QA 76.9.M35 W67 1988<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Keklik, Nihat.<br/>Yer Numaras&#305;&#160;BC 34 K4 1969-70<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Communication complexity a new approach to circuit depth ent://SD_ILS/0/SD_ILS:220119 2024-12-25T00:59:09Z 2024-12-25T00:59:09Z Yazar&#160;Karchmer, Mauricio.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>