Arama Sonuçları Logic - Daraltılmış: 1964SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091964$0025091964$0026ps$003d300?dt=list2025-03-17T10:27:45ZMethods of logicent://SD_ILS/0/SD_ILS:8012025-03-17T10:27:45Z2025-03-17T10:27:45ZYazar Quine, Willard Van Orman.<br/>Yer Numarası BC 50 Q8 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to mathematical logicent://SD_ILS/0/SD_ILS:460482025-03-17T10:27:45Z2025-03-17T10:27:45ZYazar Mendelson, Elliott.<br/>Yer Numarası QA 9 M4 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The axiomatic method : an introduction to mathematical logicent://SD_ILS/0/SD_ILS:234782025-03-17T10:27:45Z2025-03-17T10:27:45ZYazar Lightstone, A. H.<br/>Yer Numarası QA 248 L53 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:328412025-03-17T10:27:45Z2025-03-17T10:27:45ZYazar Goodstein, Reuben Louis.<br/>Yer Numarası QA 241 G6293 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Languages with expressions of infinite lengthent://SD_ILS/0/SD_ILS:2572812025-03-17T10:27:45Z2025-03-17T10:27:45ZYazar Karp, Carol, 1926-1972.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534019">http://www.sciencedirect.com/science/book/9780444534019</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>