Search Results for Logic - Narrowed by: 1991 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091991$0025091991$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-11-13T17:18:53Z Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number&#160;BC 108 S85 1957<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic IC master reference ent://SD_ILS/0/SD_ILS:254908 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Heiserman, David L., 1940-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123380500">http://www.sciencedirect.com/science/book/9780123380500</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number&#160;BC 108 A55 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Studies in inductive logic and probability ent://SD_ILS/0/SD_ILS:35499 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Carnap, Rudolf, 1891-1970.&#160;Jeffrey, Richard C., ed.<br/>Preferred Shelf Number&#160;QA 273.4 C37 1971-<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer architecture and logic design ent://SD_ILS/0/SD_ILS:32380 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Bartee, Thomas C.<br/>Preferred Shelf Number&#160;QA 76.9.A73 B374 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Postmodernism, or, The cultural logic of late capitalism ent://SD_ILS/0/SD_ILS:76042 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Jameson, Fredric.<br/>Preferred Shelf Number&#160;PN 98.P67 J3 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> The encyclopaedia logic, with the Zusatze : Part I of the Encyclopaedia of philosophical sciences with the Zus&auml;tze ent://SD_ILS/0/SD_ILS:248508 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Hegel, Georg Wilhelm Friedrich.&#160;Geraets, Th&eacute;odore F.&#160;Suchting, W. A. (Wallis Arthur)&#160;Harris, H. S. (Henry Silton), 1926-<br/>Preferred Shelf Number&#160;B2918.E5 H37 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Warren's abstract machine a tutorial reconstruction ent://SD_ILS/0/SD_ILS:220144 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;A&iuml;t-Kaci, Hassan, 1954-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Henkin, Leon.&#160;Monk, J. Donald, ort. yaz.&#160;Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 H415 1971- V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z 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/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Keklik, Nihat.<br/>Preferred Shelf Number&#160;BC 34 K4 1969-70<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Verification in economics and history a sequel to 'scientifization' ent://SD_ILS/0/SD_ILS:262049 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Hamouda, O. F.&#160;Price, B. B. (Betsey Barker), 1951-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203721353">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical programmable circuits a guide to PLDs, state machines, and microcontrollers ent://SD_ILS/0/SD_ILS:254907 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Broesch, James D.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121348854">http://www.sciencedirect.com/science/book/9780121348854</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analogue-digital ASICs Circuit techniques, design tools and applications ent://SD_ILS/0/SD_ILS:247742 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;Soin, R. S., ed.&#160;Maloberti, F., ed.&#160;Franca, J., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCS003E">http://dx.doi.org/10.1049/PBCS003E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> T&uuml;rkiye I. Felsefe Mant&#305;k Bilim Tarihi Sempozyumu bildirileri : 19-21 Kas&#305;m 1986, Ankara ent://SD_ILS/0/SD_ILS:490117 2024-11-13T17:18:53Z 2024-11-13T17:18:53Z Author&#160;T&uuml;rkiye Felsefe Mant&#305;k Bilim Tarihi Sempozyumu (1st : 1986 : Ankara, Turkey)&#160;G&ouml;rsoy, Kenan.&#160;Ankara &Uuml;niversitesi.<br/>Preferred Shelf Number&#160;B20 T87 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>