Arama Sonu&ccedil;lar&#305; Logic. - Daralt&#305;lm&#305;&#351;: 1985 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$0025091985$0025091985$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-25T07:13:08Z Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z 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/> Fundamentals of logic design ent://SD_ILS/0/SD_ILS:83158 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Roth, Charles H.<br/>Yer Numaras&#305;&#160;TK 7868.L6 R67 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-25T07:13:08Z 2024-12-25T07:13:08Z 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-25T07:13:08Z 2024-12-25T07:13:08Z 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-25T07:13:08Z 2024-12-25T07:13:08Z 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/> Logic testing and design for testability ent://SD_ILS/0/SD_ILS:220153 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Fujiwara, Hideo.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical logic and programming languages ent://SD_ILS/0/SD_ILS:72687 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Hoare, C. A. R., ed.&#160;Shepherdson, J. C., ed.<br/>Yer Numaras&#305;&#160;QA 9 M42 1985<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Intentional mathematics ent://SD_ILS/0/SD_ILS:257087 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Shapiro, Stewart, 1951-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876324">http://www.sciencedirect.com/science/book/9780444876324</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z 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/> Harvey Friedman's research on the foundations of mathematics ent://SD_ILS/0/SD_ILS:257088 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Friedman, Harvey, 1948-&#160;Harrington, L. A.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444878342">http://www.sciencedirect.com/science/book/9780444878342</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Equivalents of the axiom of choice, II ent://SD_ILS/0/SD_ILS:256703 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Rubin, Herman.&#160;Rubin, Jean E.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444877086">http://www.sciencedirect.com/science/book/9780444877086</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cylindric algebras. Part II ent://SD_ILS/0/SD_ILS:256956 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Henkin, Leon.&#160;Monk, J. Donald (James Donald), 1930-&#160;Tarski, Alfred.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876799">http://www.sciencedirect.com/science/book/9780444876799</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z 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/> Studies in post-medieval semantics ent://SD_ILS/0/SD_ILS:97577 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Ashworth, E. J.<br/>Yer Numaras&#305;&#160;P 106 A78 1985<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Spectral techniques and fault detection ent://SD_ILS/0/SD_ILS:254970 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Karpovsky, Mark G.&#160;International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124000605">http://www.sciencedirect.com/science/book/9780124000605</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ludwig Wittgenstein, Tractatus logico-philosophicus ent://SD_ILS/0/SD_ILS:505238 2024-12-25T07:13:08Z 2024-12-25T07:13:08Z Yazar&#160;Aruoba, Oru&ccedil;.<br/>Yer Numaras&#305;&#160;B3376.W563 T7319 1985<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>