Arama Sonuçları Logic. - Daraltılmış: 1965SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091965$0025091965$0026te$003dILS$0026ps$003d300?dt=list2024-12-25T01:11:34ZMethods of logicent://SD_ILS/0/SD_ILS:8012024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Quine, Willard Van Orman.<br/>Yer Numarası BC 50 Q8 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Logic and rhetoric of expositionent://SD_ILS/0/SD_ILS:209142024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Martin, Harold Clark. Ohmann, Richard M., ort. yaz.<br/>Yer Numarası PE 1429 M3<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Logic Colloquium (8th : 1963 : Oxford).<br/>Yer Numarası BC 135 L8292 1965<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Crossley, John N. Dummett, Michael, 1925-2011.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:2572052024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534033">http://www.sciencedirect.com/science/book/9780444534033</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The foundations of intuitionistic mathematicsent://SD_ILS/0/SD_ILS:2572822024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534040">http://www.sciencedirect.com/science/book/9780444534040</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A transfinite type theory with type variablesent://SD_ILS/0/SD_ILS:2573662024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Andrews, P. B. (Peter Bruce), 1937-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534026">http://www.sciencedirect.com/science/book/9780444534026</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A theory of setsent://SD_ILS/0/SD_ILS:2569812024-12-25T01:11:34Z2024-12-25T01:11:34ZYazar Morse, Anthony P. (Anthony Perry)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123745675">http://www.sciencedirect.com/science/book/9780123745675</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>