Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(114)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(100)
Mathematics.
(62)
Logic.
(31)
Computer science.
(30)
Computer science -- Mathematics.
(25)
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ç
317 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
265. 
Combinatorial Set Theory With a Gentle Introduction to Forcing için kapak resmi
Combinatorial Set Theory With a Gentle Introduction to Forcing
Yazar 
Halbeisen, Lorenz J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2173-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Godel's way : exploits into an undecidable world için kapak resmi
Godel's way : exploits into an undecidable world
Yazar 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Yer Numarası 
QA9.65 .C428 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Un mondo di idee La matematica ovunque için kapak resmi
Un mondo di idee La matematica ovunque
Yazar 
Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-1744-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Foundational Theories of Classical and Constructive Mathematics için kapak resmi
Foundational Theories of Classical and Constructive Mathematics
Yazar 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0431-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
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:
270. 
Advanced Łukasiewicz calculus and MV-algebras için kapak resmi
Advanced Łukasiewicz calculus and MV-algebras
Yazar 
Mundici, D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies için kapak resmi
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
Yazar 
Kennedy, Juliette. Kossak, Roman.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Proof Analysis A Contribution to Hilbert's Last Problem için kapak resmi
Proof Analysis A Contribution to Hilbert's Last Problem
Yazar 
Negri, Sara. von Plato, Jan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1. için kapak resmi
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Yazar 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Logical Dynamics of Information and Interaction için kapak resmi
Logical Dynamics of Information and Interaction
Yazar 
van Benthem, Johan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Deep Beauty Understanding the Quantum World through Mathematical Innovation için kapak resmi
Deep Beauty Understanding the Quantum World through Mathematical Innovation
Yazar 
Halvorson, Hans.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
The Oxford handbook of Wittgenstein için kapak resmi
The Oxford handbook of Wittgenstein
Yazar 
Kuusela, Oskari. McGinn, Marie.
Yer Numarası 
B3376.W564 O95 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç