Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(42)
Kanamori, Akihiro. editor.
(3)
Benthem, Johan.
(2)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Gupta, Amitabha. editor.
(2)
Dil
Yayın Yılı
-
Konu
Logic.
(29)
Philosophy (General).
(29)
Science -- Philosophy.
(20)
Computer science.
(15)
Mathematics.
(15)
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ç
68 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Truth through proof a formalist foundation for mathematics için kapak resmi
Truth through proof a formalist foundation for mathematics
Yazar 
Weir, Alan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia için kapak resmi
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Yazar 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science için kapak resmi
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Yazar 
Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85198-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Constructive Negations and Paraconsistency için kapak resmi
Constructive Negations and Paraconsistency
Yazar 
Odintsov, Sergei P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Mathematics, Models, and Modality Selected Philosophical Essays için kapak resmi
Mathematics, Models, and Modality Selected Philosophical Essays
Yazar 
Burgess, John P..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Deduction, Computation, Experiment Exploring the Effectiveness of Proof için kapak resmi
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Yazar 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Information and Knowledge A Constructive Type-theoretical Approach için kapak resmi
Information and Knowledge A Constructive Type-theoretical Approach
Yazar 
Primiero, Giuseppe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler için kapak resmi
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Yazar 
Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
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:
58. 
Handbook of Spatial Logics için kapak resmi
Handbook of Spatial Logics
Yazar 
Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Brouwer Meets Husserl On the Phenomenology of Choice Sequences için kapak resmi
Brouwer Meets Husserl On the Phenomenology of Choice Sequences
Yazar 
Atten, Mark. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5087-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle için kapak resmi
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
Yazar 
Galavotti, Maria Carla. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4101-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç