Arama Sonuçlarını Sınırlandır
Yazar
Grünberg, Teo.
(3)
Quine, Willard Van Orman.
(3)
Wright, Georg Henrik von, 1916-
(3)
Bolzano, Bernard, 1781-1848.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Dil
Yayın Yılı
-
Konu
MANTIK, SEMBOLİK VE MATEMATİKİ.
(71)
MANTIK.
(53)
Logic.
(12)
TÜMEVARIM (MANTIK)
(10)
BİLGİ KURAMI.
(8)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
172 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter. için kapak resmi
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Yazar 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Yer Numarası 
QA 76.9.M35 W67 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
50. 
Computability and logic için kapak resmi
Computability and logic
Yazar 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Yer Numarası 
QA 9.59 B66 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
51. 
Mantık terimleri sözlüğü için kapak resmi
Mantık terimleri sözlüğü
Yazar 
Grünberg, Teo. Onat, A., ort. yaz.
Yer Numarası 
REF/BC 9 G924 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
52. 
Systems of logic için kapak resmi
Systems of logic
Yazar 
Martin, Norman M.
Yer Numarası 
BC 135 M325 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
53. 
Non-standard logics for automated reasoning için kapak resmi
Non-standard logics for automated reasoning
Yazar 
Smets, Philippe, ed. by
Yer Numarası 
QA 9.4 N65 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
54. 
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg için kapak resmi
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Yazar 
Pinborg, Jan. Kretzmann, Norman, ed.
Yer Numarası 
BC 34 M43 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
55. 
Lies language and logic in the late Middle Ages için kapak resmi
Lies language and logic in the late Middle Ages
Yazar 
Spade, Paul Vincent.
Yer Numarası 
BC 34.S11 L54 1988
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
56. 
Temporal logic of programs için kapak resmi
Temporal logic of programs
Yazar 
Kröger, Fred, 1945-
Yer Numarası 
QA 76.6 K753 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
57. 
Induction : processes of inference, learning, and discovery için kapak resmi
Induction : processes of inference, learning, and discovery
Yazar 
Holland, John Henry, 1929-
Yer Numarası 
BF 441 I53 1986
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
58. 
Mathematical logic and programming languages için kapak resmi
Mathematical logic and programming languages
Yazar 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası 
QA 9 M42 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
59. 
Studies in post-medieval semantics için kapak resmi
Studies in post-medieval semantics
Yazar 
Ashworth, E. J.
Yer Numarası 
P 106 A78 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
60. 
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983 için kapak resmi
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
Yazar 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Yer Numarası 
BC 39.5.G7 E97 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç