Search Results for Logic -- Symbolic and mathematical

34 sonuç bulundu

Tümünü Seç

0000000000000000000000000000000000DEFAULT

Mathematical logic : applications and theory

Başlık

Mathematical logic : applications and theory

Yazar

Rubin, Jean E.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Mathematical logic for computer science

Başlık

Mathematical logic for computer science

Yazar

Ben-Ari, M.

Format:

Kitap

Alıntı:

Symbolic and mathematical logic

Rafta:

Logic for mathematics and computer science

Başlık

Logic for mathematics and computer science

Yazar

Burris, Stanley N.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

A mathematical introduction to logic

Başlık

A mathematical introduction to logic

Yazar

Enderton, Herbert B.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Tanrı matematikçi mi?

Başlık

Tanrı matematikçi mi?

Yazar

Livio, Mario Gülpınar, Berna, çev.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Tanrı matematikçi mi?

Başlık

Tanrı matematikçi mi?

Yazar

Livio, Mario Gülpınar, Berna, çev.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılık

Başlık

Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılık

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IV. : 2006 : İzmir) Ufuktepe, Ünal, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Başlık

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Başlık

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

10.

Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?

Başlık

Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (X. : 2012 : İzmir) Bolcal, Çetin, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

11.

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 dil

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 dil

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişci, Arzu, yay. haz. Atak, Berna, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

12.

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 dil

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 dil

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişçi, Arzu, haz. Atak, Berna, haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

13.

Mantık, Matematik ve Felsefe VI. Ulusal Sempozyumu, 16-19 Eylül 2008, Foça-İzmir : evrim

Başlık

Mantık, Matematik ve Felsefe VI. Ulusal Sempozyumu, 16-19 Eylül 2008, Foça-İzmir : evrim

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VI. : 2008 : İzmir) Yakut, Kadri, yay. haz. Yemişçi Şen, Arzu, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

14.

Mantık, Matematik ve Felsefe VII. Ulusal Sempozyumu, 8-11 Eylül 2009, Foça-İzmir : toplum, bilim, teknoloji ve etik değerler

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ğerler

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VII. : 2009 : İzmir) Yemişçi Şen, Arzu, yay. haz. Yıldırım, Mesut, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

15.

Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilik

Başlık

Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilik

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (III. : 2005 : İzmir) Ural, Şafak, yay. haz. Yüksel, Yücel, yay. haz. Şen, Arzu, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

16.

Mantık, Matematik ve Felsefe V. Ulusal Sempozyumu, 11-14 Eylül 2007, Foça-İzmir : bilim ve sanat

Başlık

Mantık, Matematik ve Felsefe V. Ulusal Sempozyumu, 11-14 Eylül 2007, Foça-İzmir : bilim ve sanat

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (V. : 2007 : İzmir) Yakut, Kadri, yay. haz. Şen, Arzu, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

17.

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Başlık

Mantık, Matematik ve Felsefe II. Ulusal Sempozyumu, 21-24 Eylül 2004, Assos-Çanakkale : kaos

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (II. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

18.

Sembolik mantık el kitabı

Başlık

Sembolik mantık el kitabı

Yazar

Grünberg, Teo

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

19.

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 dil

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 dil

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IX : 2011 : İzmir) Yemişçi, Arzu, haz. Atak, Berna, haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

20.

Mathematical logic : a course with exercises

Başlık

Mathematical logic : a course with exercises

Yazar

Cori, René Lascar, Daniel Pelletier, Donald H., çev.

Format:

Kitap

Alıntı:

Logic, symbolic and mathematical

Rafta:

21.

Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruz

Başlık

Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruz

Yazar

Yücedoğan, Güleda, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

22.

Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?

Başlık

Mantık, Matematik ve Felsefe X. Ulusal Sempozyumu, 4-7 Eylül 2012, Foça-İzmir : üniversite, üniversitelerimiz, üniversite nereye?

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (X. : 2012 : İzmir) Bolcal, Çetin, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

23.

Homo informatiks : bilişim, matematik ve mantığın kesişen dünyaları

Başlık

Homo informatiks : bilişim, matematik ve mantığın kesişen dünyaları

Yazar

Brabandere, Luc de Tüzün, İlhan Burak, çev.

Format:

Kitap

Alıntı:

Logic, Symbolic and mathematical

Rafta:

24.

Set theory and logic

Başlık

Set theory and logic

Yazar

Stoll, Robert Roth

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

25.

Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruz

Başlık

Mantık, Matematik ve Felsefe Sempozyumu 10. Yıl Derleme Kitabı : 10 yıldır tartışıyoruz

Yazar

Yücedoğan, Güleda, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

26.

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Başlık

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

27.

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Başlık

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

28.

Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılık

Başlık

Mantık, Matematik ve Felsefe IV. Ulusal Sempozyumu, 5-8 Eylül 2006, Foça-İzmir : olasılık

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (IV. : 2006 : İzmir) Ufuktepe, Ünal, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

29.

Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilik

Başlık

Mantık, Matematik ve Felsefe III. Ulusal Sempozyumu, 20-24 Eylül 2005, Foça-İzmir : sonsuzluk ve görelilik

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (III. : 2005 : İzmir) Ural, Şafak, haz. Yüksel, Yücel, haz. Şen, Arzu, haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

30.

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Başlık

Mantık, Matematik ve Felsefe I. Ulusal Sempozyumu, 26-28 Eylül 2004, Assos-Çanakkale

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (I. : 2004 : Çanakkale) Ural, Şafak, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

31.

Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlar

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şımlar

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişçi, Arzu, yay. haz. Atak, Berna, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

32.

Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlar

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şımlar

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişci, Arzu, yay. haz. Atak, Berna, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical -- Meetings

Rafta:

33.

Mantık, Matematik ve Felsefe VIII. Ulusal Sempozyumu, 14-17 Eylül 2010, Foça-İzmir : bilim, felsefe ve sanatta postmodern yaklaşımlar

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şımlar

Yazar

Mantık, Matematik ve Felsefe Ulusal Sempozyumu (VIII. : 2010 : İzmir) Yemişçi, Arzu, yay. haz. Atak, Berna, yay. haz.

Format:

Kitap

Alıntı:

Logic -- Symbolic and mathematical

Rafta:

34.

Computability and logic

Başlık

Computability and logic

Yazar

Boolos, George Burgess, John P. Jeffrey, Richard C.

Format:

Kitap

Alıntı:

Symbolic and mathematical logic

Rafta:

	{displayName}	{count}
{error}