Arama Sonu&ccedil;lar&#305; Logic. - Daralt&#305;lm&#305;&#351;: 1999 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$0025091999$0025091999$0026ps$003d300?dt=list 2024-11-22T12:12:47Z Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z 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/> Advances in modal logic ent://SD_ILS/0/SD_ILS:78063 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Kracht, Marcus, ed.<br/>Yer Numaras&#305;&#160;BC 199.M6 A38 1998- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Categorical logic and type theory ent://SD_ILS/0/SD_ILS:256535 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Jacobs, Bart.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and techniques in modal logic ent://SD_ILS/0/SD_ILS:256549 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Kracht, Marcus.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z 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-11-22T12:12:47Z 2024-11-22T12:12:47Z 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/> Air logic control for automated systems ent://SD_ILS/0/SD_ILS:284969 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Wojtecki, Rudy.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-performance system design circuits and logic ent://SD_ILS/0/SD_ILS:249599 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Oklobdzija, Vojin G.&#160;IEEE Circuits and Systems Society.&#160;IEEE Solid-State Circuits Society.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Postmodernism, or, The cultural logic of late capitalism ent://SD_ILS/0/SD_ILS:76042 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Jameson, Fredric.<br/>Yer Numaras&#305;&#160;PN 98.P67 J3 1991<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Language, logic, and concepts : Essays in memory of John Macnamara ent://SD_ILS/0/SD_ILS:77977 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Macnamara, John Theodore.&#160;Jackendoff, Ray, 1945- ed.&#160;Bloom, Paul, 1963- ed.&#160;Wynn, Karen, ed.<br/>Yer Numaras&#305;&#160;BF 201 L36 1999<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-11-22T12:12:47Z 2024-11-22T12:12:47Z 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/> Handbook of computability theory ent://SD_ILS/0/SD_ILS:256534 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Griffor, Edward R.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</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:256597 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z 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/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z 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/> Beyin geli&#351;tirme ent://SD_ILS/0/SD_ILS:509292 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Vos Savant, Marilyn Mach.&#160;Fleischer, Leonore.&#160;&#350;en, Cem.<br/>Yer Numaras&#305;&#160;BF441 V67 1999<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Mant&#305;k ent://SD_ILS/0/SD_ILS:108603 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;&Ccedil;&uuml;&ccedil;en, A. Kadir.<br/>Yer Numaras&#305;&#160;BC117.T8 C46 1999<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Fuzzy theory systems techniques and applications ent://SD_ILS/0/SD_ILS:253685 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Leondes, Cornelius T.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124438705">http://www.sciencedirect.com/science/book/9780124438705</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Symbolic Methods in Control System Analysis and Design ent://SD_ILS/0/SD_ILS:247709 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Munro, Neil, ed.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Optimization methods for logical inference ent://SD_ILS/0/SD_ILS:300305 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Chandru, Vijay, 1953-&#160;Hooker, John, 1949-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Wissenschaft der Logik ent://SD_ILS/0/SD_ILS:115889 2024-11-22T12:12:47Z 2024-11-22T12:12:47Z Yazar&#160;Hegel, Georg Wilhelm Friedrich.&#160;Jaeschke, Walter von.&#160;Gawoll, Hans-J&uuml;rgen.<br/>Yer Numaras&#305;&#160;B2942 H444 1999 BAND 11<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>