Arama Sonuçları Logic. - Daraltılmış: Mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Mathematics.$002509Mathematics.$0026ps$003d300?dt=list
2025-03-17T22:32:18Z
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331010.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Equational Logic
ent://SD_ILS/0/SD_ILS:183348
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Thought and Action
ent://SD_ILS/0/SD_ILS:152117
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Vanderveken, Daniel. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Aspects of Mathematical Logic
ent://SD_ILS/0/SD_ILS:191571
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Gentzen Calculi for Modal Propositional Logic
ent://SD_ILS/0/SD_ILS:205557
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Srivastava, S. M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic in Financial Analysis
ent://SD_ILS/0/SD_ILS:183311
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for FSM-Based Control Units
ent://SD_ILS/0/SD_ILS:190905
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for Compositional Microprogram Control Units
ent://SD_ILS/0/SD_ILS:185766
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integration of Fuzzy Logic and Chaos Theory
ent://SD_ILS/0/SD_ILS:183408
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Games, Norms and Reasons Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205924
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
ent://SD_ILS/0/SD_ILS:529297
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16235-5">https://doi.org/10.1007/978-3-319-16235-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
ent://SD_ILS/0/SD_ILS:333898
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Aliev, Rafik Aziz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333898.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34895-2">http://dx.doi.org/10.1007/978-3-642-34895-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336850.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic and Model Theory A Brief Introduction
ent://SD_ILS/0/SD_ILS:173380
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2176-3">http://dx.doi.org/10.1007/978-1-4471-2176-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
ent://SD_ILS/0/SD_ILS:204527
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Skof, Fulvia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:172306
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Triantaphyllou, Evangelos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1630-3">http://dx.doi.org/10.1007/978-1-4419-1630-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Missing Link in Cybernetics Logic and Continuity
ent://SD_ILS/0/SD_ILS:167239
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Andrew, Alex M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75164-1">http://dx.doi.org/10.1007/978-0-387-75164-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
ent://SD_ILS/0/SD_ILS:185711
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69094-8">http://dx.doi.org/10.1007/978-3-540-69094-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic II Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:166711
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-69245-6">http://dx.doi.org/10.1007/978-0-387-69245-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:198047
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lau, Dietlinde. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Signs of logic Peircean themes on the philosophy of language, games, and communication
ent://SD_ILS/0/SD_ILS:152176
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Pietarinen, Ahti-Veikko. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3729-5">http://dx.doi.org/10.1007/1-4020-3729-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ent://SD_ILS/0/SD_ILS:184462
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management
ent://SD_ILS/0/SD_ILS:164815
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b97669">http://dx.doi.org/10.1007/b97669</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:197838
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Methods of Cut-Elimination
ent://SD_ILS/0/SD_ILS:205808
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Łukasiewicz calculus and MV-algebras
ent://SD_ILS/0/SD_ILS:205949
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mundici, D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proof Theory for Fuzzy Logics
ent://SD_ILS/0/SD_ILS:170527
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332637.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards a General Theory of Classifications
ent://SD_ILS/0/SD_ILS:332639
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332639.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Around and Beyond the Square of Opposition
ent://SD_ILS/0/SD_ILS:176782
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0379-3">http://dx.doi.org/10.1007/978-3-0348-0379-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Completeness Theory for Propositional Logics
ent://SD_ILS/0/SD_ILS:198080
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8518-7">http://dx.doi.org/10.1007/978-3-7643-8518-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
ent://SD_ILS/0/SD_ILS:152341
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5034-8">http://dx.doi.org/10.1007/1-4020-5034-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Explaining Games The Epistemic Programme in Game Theory
ent://SD_ILS/0/SD_ILS:170680
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar de Bruin, Boudewijn. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9906-9">http://dx.doi.org/10.1007/978-1-4020-9906-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logicism, Intuitionism, and Formalism What has Become of Them?
ent://SD_ILS/0/SD_ILS:170380
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8926-8">http://dx.doi.org/10.1007/978-1-4020-8926-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Graph-Theoretic Approach to Enterprise Network Dynamics
ent://SD_ILS/0/SD_ILS:168175
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Complete theories
ent://SD_ILS/0/SD_ILS:257212
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Robinson, Abraham, 1918-1974.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533838">http://www.sciencedirect.com/science/book/9780444533838</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Language and Mathematics : An Interdisciplinary Guide
ent://SD_ILS/0/SD_ILS:533126
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Danesi, Marcel, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781614513186">https://doi.org/10.1515/9781614513186</a>
<a href="https://www.degruyter.com/isbn/9781614513186">https://www.degruyter.com/isbn/9781614513186</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781614513186/original">https://www.degruyter.com/document/cover/isbn/9781614513186/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Accuracy and Fuzziness. A Life in Science and Politics A Festschrift book to Enric Trillas Ruiz
ent://SD_ILS/0/SD_ILS:530091
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Argüelles Méndez, Luis. author. Seising, Rudolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18606-1">https://doi.org/10.1007/978-3-319-18606-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
ent://SD_ILS/0/SD_ILS:333036
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333036.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334724.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
ent://SD_ILS/0/SD_ILS:336968
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Tapp, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:337115
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337115.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
ent://SD_ILS/0/SD_ILS:337476
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337476.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Logical Introduction to Proof
ent://SD_ILS/0/SD_ILS:331358
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332859.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Erdős Centennial
ent://SD_ILS/0/SD_ILS:334774
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334774.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39286-3">http://dx.doi.org/10.1007/978-3-642-39286-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335644.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Digital Automata
ent://SD_ILS/0/SD_ILS:335923
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335923.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
ent://SD_ILS/0/SD_ILS:338283
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338283.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331026.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Invitation to Abstract Mathematics
ent://SD_ILS/0/SD_ILS:332077
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bajnok, Béla. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematics of Paul Erdős II
ent://SD_ILS/0/SD_ILS:332243
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332243.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
ent://SD_ILS/0/SD_ILS:332605
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hinkis, Arie. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332605.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Pudlák, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332681.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Real Numbers An Introduction to Set Theory and Analysis
ent://SD_ILS/0/SD_ILS:332876
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Stillwell, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332876.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Herzberg, Frederik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Olympiad Treasures
ent://SD_ILS/0/SD_ILS:168359
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8253-8">http://dx.doi.org/10.1007/978-0-8176-8253-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Beginner's Guide to Discrete Mathematics
ent://SD_ILS/0/SD_ILS:168370
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Wallis, W.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8286-6">http://dx.doi.org/10.1007/978-0-8176-8286-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
ent://SD_ILS/0/SD_ILS:168381
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Wallis, W.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8319-1">http://dx.doi.org/10.1007/978-0-8176-8319-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Set Theory With a Gentle Introduction to Forcing
ent://SD_ILS/0/SD_ILS:173379
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2173-2">http://dx.doi.org/10.1007/978-1-4471-2173-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
ent://SD_ILS/0/SD_ILS:174371
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4042-0">http://dx.doi.org/10.1007/978-1-4614-4042-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Mathematical Structures and Proofs
ent://SD_ILS/0/SD_ILS:174389
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Gerstein, Larry J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4265-3">http://dx.doi.org/10.1007/978-1-4614-4265-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Non solo calcoli Domande e risposte sui perché della matematica
ent://SD_ILS/0/SD_ILS:204679
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2610-0">http://dx.doi.org/10.1007/978-88-470-2610-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Excursions in the History of Mathematics
ent://SD_ILS/0/SD_ILS:168364
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Kleiner, Israel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8268-2">http://dx.doi.org/10.1007/978-0-8176-8268-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematical Experience, Study Edition
ent://SD_ILS/0/SD_ILS:168373
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teoria algebrica dei meccanismi automatici
ent://SD_ILS/0/SD_ILS:191521
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Righi, R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10932-4">http://dx.doi.org/10.1007/978-3-642-10932-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sparsity Graphs, Structures, and Algorithms
ent://SD_ILS/0/SD_ILS:196287
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27875-4">http://dx.doi.org/10.1007/978-3-642-27875-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recursion Theory and Computational Complexity
ent://SD_ILS/0/SD_ILS:191568
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lolli, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Theory and Applications
ent://SD_ILS/0/SD_ILS:191585
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mangani, P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundational Theories of Classical and Constructive Mathematics
ent://SD_ILS/0/SD_ILS:205842
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reading, Writing, and Proving A Closer Look at Mathematics
ent://SD_ILS/0/SD_ILS:173223
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Proof is in the Pudding The Changing Nature of Mathematical Proof
ent://SD_ILS/0/SD_ILS:166423
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Krantz, Steven G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Un mondo di idee La matematica ovunque
ent://SD_ILS/0/SD_ILS:204501
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
ent://SD_ILS/0/SD_ILS:167264
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Selected Correspondence of L.E.J. Brouwer
ent://SD_ILS/0/SD_ILS:168529
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proofs and Fundamentals A First Course in Abstract Mathematics
ent://SD_ILS/0/SD_ILS:172780
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bloch, Ethan D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Objects to Diagrams for Ranges of Functors
ent://SD_ILS/0/SD_ILS:194813
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
ent://SD_ILS/0/SD_ILS:192795
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hyperfinite Dirichlet Forms and Stochastic Processes
ent://SD_ILS/0/SD_ILS:194114
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:198771
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Banach Spaces and Descriptive Set Theory: Selected Topics
ent://SD_ILS/0/SD_ILS:191905
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Dodos, Pandelis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Set Theory
ent://SD_ILS/0/SD_ILS:169590
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ent://SD_ILS/0/SD_ILS:166574
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cardinal Invariants on Boolean Algebras
ent://SD_ILS/0/SD_ILS:176670
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematische Logik
ent://SD_ILS/0/SD_ILS:176698
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Ziegler, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
ent://SD_ILS/0/SD_ILS:188417
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
ent://SD_ILS/0/SD_ILS:189998
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logische Grundlagen der Mathematik
ent://SD_ILS/0/SD_ILS:189560
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Schindler, Ralf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-95932-8">http://dx.doi.org/10.1007/978-3-540-95932-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Boolean Algebras
ent://SD_ILS/0/SD_ILS:166584
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68436-9">http://dx.doi.org/10.1007/978-0-387-68436-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
ent://SD_ILS/0/SD_ILS:167188
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Soifer, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74642-5">http://dx.doi.org/10.1007/978-0-387-74642-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proof Theory The First Step into Impredicativity
ent://SD_ILS/0/SD_ILS:185783
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69319-2">http://dx.doi.org/10.1007/978-3-540-69319-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generalized Measure Theory
ent://SD_ILS/0/SD_ILS:167412
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76852-6">http://dx.doi.org/10.1007/978-0-387-76852-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Olympiad Challenges
ent://SD_ILS/0/SD_ILS:168224
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4611-0">http://dx.doi.org/10.1007/978-0-8176-4611-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
ent://SD_ILS/0/SD_ILS:176001
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Constanda, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-539-0">http://dx.doi.org/10.1007/978-1-84882-539-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Composition Paradigms of Automated Music Generation
ent://SD_ILS/0/SD_ILS:177042
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
ent://SD_ILS/0/SD_ILS:187688
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hausdorff, Felix. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76807-4">http://dx.doi.org/10.1007/978-3-540-76807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guida alla teoria degli insiemi
ent://SD_ILS/0/SD_ILS:204285
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lolli, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0769-7">http://dx.doi.org/10.1007/978-88-470-0769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics and Graph Theory
ent://SD_ILS/0/SD_ILS:167686
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-79711-3">http://dx.doi.org/10.1007/978-0-387-79711-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discrete Thoughts Essays on Mathematics, Science and Philosophy
ent://SD_ILS/0/SD_ILS:168284
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4775-9">http://dx.doi.org/10.1007/978-0-8176-4775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Indiscrete Thoughts
ent://SD_ILS/0/SD_ILS:168285
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4781-0">http://dx.doi.org/10.1007/978-0-8176-4781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:187826
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77270-5">http://dx.doi.org/10.1007/978-3-540-77270-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
ent://SD_ILS/0/SD_ILS:187903
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77533-1">http://dx.doi.org/10.1007/978-3-540-77533-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:188416
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79376-2">http://dx.doi.org/10.1007/978-3-540-79376-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Kolmogorov’s Heritage in Mathematics
ent://SD_ILS/0/SD_ILS:184374
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-36351-4">http://dx.doi.org/10.1007/978-3-540-36351-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
ent://SD_ILS/0/SD_ILS:166115
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Number Theory An Introduction via the Distribution of Primes
ent://SD_ILS/0/SD_ILS:168186
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4541-0">http://dx.doi.org/10.1007/978-0-8176-4541-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Beginner’s Guide to Graph Theory
ent://SD_ILS/0/SD_ILS:168208
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Wallis, W. D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4580-9">http://dx.doi.org/10.1007/978-0-8176-4580-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Strength of Nonstandard Analysis
ent://SD_ILS/0/SD_ILS:176966
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-211-49905-4">http://dx.doi.org/10.1007/978-3-211-49905-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:184842
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-45388-8">http://dx.doi.org/10.1007/978-3-540-45388-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ernst Zermelo An Approach to His Life and Work
ent://SD_ILS/0/SD_ILS:185226
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
104 Number Theory Problems From the Training of the USA IMO Team
ent://SD_ILS/0/SD_ILS:168199
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4561-8">http://dx.doi.org/10.1007/978-0-8176-4561-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Legacy of Mario Pieri in Geometry and Arithmetic
ent://SD_ILS/0/SD_ILS:168218
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4603-5">http://dx.doi.org/10.1007/978-0-8176-4603-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:110804
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Rosen, Kenneth H.<br/>Yer Numarası QA39.3 R674 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Passione per Trilli Alcune idee dalla matematica
ent://SD_ILS/0/SD_ILS:152631
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Lucchetti, Roberto. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0629-4">http://dx.doi.org/10.1007/978-88-470-0629-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
ent://SD_ILS/0/SD_ILS:183380
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
ent://SD_ILS/0/SD_ILS:197974
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Problems and Theorems in Classical Set Theory
ent://SD_ILS/0/SD_ILS:166139
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
18 Unconventional Essays on the Nature of Mathematics
ent://SD_ILS/0/SD_ILS:165677
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Hersh, Reuben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Techniques of Constructive Analysis
ent://SD_ILS/0/SD_ILS:166228
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Axiom of Choice
ent://SD_ILS/0/SD_ILS:183983
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Herrlich, Horst. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Congruences of a Finite Lattice A Proof-by-Picture Approach
ent://SD_ILS/0/SD_ILS:168148
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Grätzer, George. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Théorie des ensembles
ent://SD_ILS/0/SD_ILS:183915
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Bourbaki, N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Valued Fields
ent://SD_ILS/0/SD_ILS:182242
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Essays in Constructive Mathematics
ent://SD_ILS/0/SD_ILS:165337
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Edwards, Harold M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Laws of Nature
ent://SD_ILS/0/SD_ILS:152564
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Propositional and Predicate Calculus A Model of Argument
ent://SD_ILS/0/SD_ILS:175328
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Goldrei, Derek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-229-2">http://dx.doi.org/10.1007/1-84628-229-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:181100
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
ent://SD_ILS/0/SD_ILS:181540
2025-03-17T22:32:18Z
2025-03-17T22:32:18Z
Yazar Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>