Arama Sonuçları Logic -- Symbolic and mathematicalSirsiDynix Enterprisehttps://katalog.iku.edu.tr/client/tr_TR/default/default/qu$003dLogic$002b--$002bSymbolic$002band$002bmathematical$0026ps$003d1000?2024-07-25T23:26:50ZBaşlık Mathematical logic : applications and theoryent://SD_ILS/0/SD_ILS:132082024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Rubin, Jean E.<br/>Format: Kitap<br/>Başlık Mathematical logic for computer scienceent://SD_ILS/0/SD_ILS:80202024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Ben-Ari, M.<br/>Format: Kitap<br/>Başlık Logic for mathematics and computer scienceent://SD_ILS/0/SD_ILS:158722024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Burris, Stanley N.<br/>Format: Kitap<br/>Başlık A mathematical introduction to logicent://SD_ILS/0/SD_ILS:125792024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Enderton, Herbert B.<br/>Format: Kitap<br/>Başlık Tanrı matematikçi mi?ent://SD_ILS/0/SD_ILS:914402024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Livio, Mario Gülpınar, Berna, çev.<br/>Format: Kitap<br/>Başlık Tanrı matematikçi mi?ent://SD_ILS/0/SD_ILS:389732024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Livio, Mario Gülpınar, Berna, çev.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılıkent://SD_ILS/0/SD_ILS:847232024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IV. : 2006 : İzmir) Ufuktepe, Ünal, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaosent://SD_ILS/0/SD_ILS:847022024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaosent://SD_ILS/0/SD_ILS:847032024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?ent://SD_ILS/0/SD_ILS:262472024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (X. : 2012 : İzmir) Bolcal, Çetin, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe IX. Ulusal Sempozyumu, 6-9 Eylül 2011, Foça-İzmir : düşüncenin iletişim aracı olarak, edebiyat, bilim, sanat ve felsefe alanlarında dilent://SD_ILS/0/SD_ILS:207742024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişci, Arzu, yay. haz. Atak, Berna, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe IX. Ulusal Sempozyumu, 6-9 Eylül 2011, Foça-İzmir : düşüncenin iletişim aracı olarak, edebiyat, bilim, sanat ve felsefe alanlarında dilent://SD_ILS/0/SD_ILS:847242024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişçi, Arzu, haz. Atak, Berna, haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe VI. Ulusal Sempozyumu, 16-19 Eylül 2008, Foça-İzmir : evriment://SD_ILS/0/SD_ILS:331832024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VI. : 2008 : İzmir) Yakut, Kadri, yay. haz. Yemişçi Şen, Arzu, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe VII. Ulusal Sempozyumu, 8-11 Eylül 2009, Foça-İzmir : toplum, bilim, teknoloji ve etik değerlerent://SD_ILS/0/SD_ILS:200872024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VII. : 2009 : İzmir) Yemişçi Şen, Arzu, yay. haz. Yıldırım, Mesut, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilikent://SD_ILS/0/SD_ILS:847222024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (III. : 2005 : İzmir) Ural, Şafak, yay. haz. Yüksel, Yücel, yay. haz. Şen, Arzu, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe V. Ulusal Sempozyumu, 11-14 Eylül 2007, Foça-İzmir : bilim ve sanatent://SD_ILS/0/SD_ILS:126922024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (V. : 2007 : İzmir) Yakut, Kadri, yay. haz. Şen, Arzu, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaosent://SD_ILS/0/SD_ILS:3342024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Sembolik mantık el kitabıent://SD_ILS/0/SD_ILS:67602024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Grünberg, Teo<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe IX. Ulusal Sempozyumu, 6-9 Eylül 2011, Foça-İzmir : düşüncenin iletişim aracı olarak, edebiyat, bilim, sanat ve felsefe alanlarında dilent://SD_ILS/0/SD_ILS:207722024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişçi, Arzu, haz. Atak, Berna, haz.<br/>Format: Kitap<br/>Başlık Mathematical logic : a course with exercisesent://SD_ILS/0/SD_ILS:7312024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Cori, René Lascar, Daniel Pelletier, Donald H., çev.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruzent://SD_ILS/0/SD_ILS:847262024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Yücedoğan, Güleda, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?ent://SD_ILS/0/SD_ILS:847252024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (X. : 2012 : İzmir) Bolcal, Çetin, yay. haz.<br/>Format: Kitap<br/>Başlık Homo informatiks : bilişim, matematik ve mantığın kesişen dünyalarıent://SD_ILS/0/SD_ILS:1504442024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Brabandere, Luc de Tüzün, İlhan Burak, çev.<br/>Format: Kitap<br/>Başlık Set theory and logicent://SD_ILS/0/SD_ILS:11902024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Stoll, Robert Roth<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruzent://SD_ILS/0/SD_ILS:262432024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Yücedoğan, Güleda, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkaleent://SD_ILS/0/SD_ILS:847012024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkaleent://SD_ILS/0/SD_ILS:847042024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılıkent://SD_ILS/0/SD_ILS:110842024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IV. : 2006 : İzmir) Ufuktepe, Ünal, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilikent://SD_ILS/0/SD_ILS:110832024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (III. : 2005 : İzmir) Ural, Şafak, haz. Yüksel, Yücel, haz. Şen, Arzu, haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkaleent://SD_ILS/0/SD_ILS:362024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlarent://SD_ILS/0/SD_ILS:172662024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişçi, Arzu, yay. haz. Atak, Berna, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlarent://SD_ILS/0/SD_ILS:172682024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişci, Arzu, yay. haz. Atak, Berna, yay. haz.<br/>Format: Kitap<br/>Başlık Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlarent://SD_ILS/0/SD_ILS:847272024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişçi, Arzu, yay. haz. Atak, Berna, yay. haz.<br/>Format: Kitap<br/>Başlık Computability and logicent://SD_ILS/0/SD_ILS:80132024-07-25T23:26:50Z2024-07-25T23:26:50ZYazar Boolos, George Burgess, John P. Jeffrey, Richard C.<br/>Format: Kitap<br/>