Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(143)
Gabbay, Dov M. author.
(5)
Rahman, Shahid. editor.
(5)
Hegel, Georg Wilhelm Friedrich.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Philosophy (General).
(90)
Logic, Symbolic and mathematical.
(48)
Computer science.
(42)
Science -- Philosophy.
(39)
Artificial intelligence.
(30)
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ç
222 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Judgement and the Epistemic Foundation of Logic için kapak resmi
Judgement and the Epistemic Foundation of Logic
Yazar 
van der Schaar, Maria. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335895.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5137-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV için kapak resmi
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Yazar 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
A Course in Mathematical Logic for Mathematicians için kapak resmi
A Course in Mathematical Logic for Mathematicians
Yazar 
Manin, Yu. I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns için kapak resmi
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Yazar 
Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Between Logic and Reality Modeling Inference, Action and Understanding için kapak resmi
Between Logic and Reality Modeling Inference, Action and Understanding
Yazar 
Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-2390-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic için kapak resmi
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Yazar 
Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8812-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions için kapak resmi
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
Yazar 
Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
45. 
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method için kapak resmi
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Yazar 
Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Proof, Computation and Agency Logic at the Crossroads için kapak resmi
Proof, Computation and Agency Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Strict Finitism and the Logic of Mathematical Applications için kapak resmi
Strict Finitism and the Logic of Mathematical Applications
Yazar 
Ye, Feng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1347-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Games, Norms and Reasons Logic at the Crossroads için kapak resmi
Games, Norms and Reasons Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0714-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç