Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Logic, Symbolic and mathematical.
(28)
Mathematical Logic and Foundations.
(28)
Mathematics.
(17)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(11)
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
An Invitation to Abstract Mathematics için kapak resmi
An Invitation to Abstract Mathematics
Yazar 
Bajnok, Béla. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion için kapak resmi
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Yazar 
Hinkis, Arie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332605.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems için kapak resmi
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Yazar 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332859.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
The Real Numbers An Introduction to Set Theory and Analysis için kapak resmi
The Real Numbers An Introduction to Set Theory and Analysis
Yazar 
Stillwell, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332876.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01577-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Stochastic Calculus with Infinitesimals için kapak resmi
Stochastic Calculus with Infinitesimals
Yazar 
Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333673.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings için kapak resmi
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Yazar 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334702.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Reactive Kripke Semantics için kapak resmi
Reactive Kripke Semantics
Yazar 
Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335100.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements için kapak resmi
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Yazar 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335941.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: