Arama Sonuçları Logic. - Daraltılmış: 1992SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091992$0025091992$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-07T20:15:13ZIntroduction to logicent://SD_ILS/0/SD_ILS:7482025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Logic design for array-based circuits a structured design methodologyent://SD_ILS/0/SD_ILS:2550812025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar White, Donnamaie E., 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127466606">http://www.sciencedirect.com/science/book/9780127466606</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive functionalsent://SD_ILS/0/SD_ILS:2569592025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Sanchis, Luis E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894472">http://www.sciencedirect.com/science/book/9780444894472</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Signs of Humanity / L'homme et ses signes : Proceedings of the IVth International Congress / Actes du IVe Congrès Mondial. International Association for Semiotic Studies / Association Internationale de Sémiotique. Barcelona/Perpignan, March 30-April 6, 1989ent://SD_ILS/0/SD_ILS:5337852025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Alegría Ortega, Idsa E., contributor. Andacht, Fernando, contributor. Angyalosi, Gergely, contributor. Askedal, John Ole, contributor. Baitello, Norval, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110854572">https://doi.org/10.1515/9783110854572</a>
<a href="https://www.degruyter.com/isbn/9783110854572">https://www.degruyter.com/isbn/9783110854572</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110854572/original">https://www.degruyter.com/document/cover/isbn/9783110854572/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Readings in Argumentationent://SD_ILS/0/SD_ILS:5341512025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Benoit, Pamela J., contributor. Benoit, William L., contributor. Benoit, William L., editor. Blair, J. Anthony, contributor. Brockriede, Wayne, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110885651">https://doi.org/10.1515/9783110885651</a>
<a href="https://www.degruyter.com/isbn/9783110885651">https://www.degruyter.com/isbn/9783110885651</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110885651/original">https://www.degruyter.com/document/cover/isbn/9783110885651/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Elements of Mathematical Semanticsent://SD_ILS/0/SD_ILS:5339502025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Aldridge, Maurice V., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110871432">https://doi.org/10.1515/9783110871432</a>
<a href="https://www.degruyter.com/isbn/9783110871432">https://www.degruyter.com/isbn/9783110871432</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110871432/original">https://www.degruyter.com/document/cover/isbn/9783110871432/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional Grammar in Prolog : An Integrated Implementation for English, French, and Dutchent://SD_ILS/0/SD_ILS:5339512025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Dik, Simon C., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110850451">https://doi.org/10.1515/9783110850451</a>
<a href="https://www.degruyter.com/isbn/9783110850451">https://www.degruyter.com/isbn/9783110850451</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110850451/original">https://www.degruyter.com/document/cover/isbn/9783110850451/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic and Knowledge-based CAD for VLSIent://SD_ILS/0/SD_ILS:2477432025-12-07T20:15:13Z2025-12-07T20:15:13ZYazar Taylor, Gaynor, ed. Russell, Gordon, ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBCS004E">http://dx.doi.org/10.1049/PBCS004E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>