Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(72)
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.
(98)
Mathematics.
(60)
Logic.
(29)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
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ç
250 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
205. 
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:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
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:
212. 
Apartness and Uniformity A Constructive Development için kapak resmi
Apartness and Uniformity A Constructive Development
Yazar 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
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:
214. 
Dual Tableaux: Foundations, Methodology, Case Studies için kapak resmi
Dual Tableaux: Foundations, Methodology, Case Studies
Yazar 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
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:
216. 
Reading, Writing, and Proving A Closer Look at Mathematics için kapak resmi
Reading, Writing, and Proving A Closer Look at Mathematics
Yazar 
Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9479-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç