Arama Sonuçları Logic, Symbolic and mathematical. - Daraltılmış: Mathematics.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dSUBJECT$002509Konu$002509Mathematics.$002509Mathematics.$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-05T23:43:36ZA concise introduction to pure mathematicsent://SD_ILS/0/SD_ILS:3788282025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A transition to mathematics with proofsent://SD_ILS/0/SD_ILS:2695942025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Lifeent://SD_ILS/0/SD_ILS:3310262025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:3371152025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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. Zeidlerent://SD_ILS/0/SD_ILS:3374762025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweisent://SD_ILS/0/SD_ILS:3382832025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Mathematics of Paul Erdős IIent://SD_ILS/0/SD_ILS:3322432025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Excursionent://SD_ILS/0/SD_ILS:3326052025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Visual Reasoning with Diagramsent://SD_ILS/0/SD_ILS:3326372025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Classificationsent://SD_ILS/0/SD_ILS:3326392025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logical Foundations of Mathematics and Computational Complexity A Gentle Introductionent://SD_ILS/0/SD_ILS:3326812025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Mathematics of Coordinated Inference A Study of Generalized Hat Problemsent://SD_ILS/0/SD_ILS:3328592025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physikent://SD_ILS/0/SD_ILS:3330362025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Real Numbers An Introduction to Set Theory and Analysisent://SD_ILS/0/SD_ILS:3328762025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Infinitesimalsent://SD_ILS/0/SD_ILS:3336732025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933ent://SD_ILS/0/SD_ILS:3368502025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Discrete mathematics and its applicationsent://SD_ILS/0/SD_ILS:2711692025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>A Logical Introduction to Proofent://SD_ILS/0/SD_ILS:3313582025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>An Invitation to Abstract Mathematicsent://SD_ILS/0/SD_ILS:3320772025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismusent://SD_ILS/0/SD_ILS:3369682025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Combinatorial Set Theory With a Gentle Introduction to Forcingent://SD_ILS/0/SD_ILS:1733792025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Geometryent://SD_ILS/0/SD_ILS:1743712025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Proofsent://SD_ILS/0/SD_ILS:1743892025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Around and Beyond the Square of Oppositionent://SD_ILS/0/SD_ILS:1767822025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Teoria algebrica dei meccanismi automaticient://SD_ILS/0/SD_ILS:1915212025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Sparsity Graphs, Structures, and Algorithmsent://SD_ILS/0/SD_ILS:1962872025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Non solo calcoli Domande e risposte sui perché della matematicaent://SD_ILS/0/SD_ILS:2046792025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematical Olympiad Treasuresent://SD_ILS/0/SD_ILS:1683592025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Excursions in the History of Mathematicsent://SD_ILS/0/SD_ILS:1683642025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Beginner's Guide to Discrete Mathematicsent://SD_ILS/0/SD_ILS:1683702025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Mathematical Experience, Study Editionent://SD_ILS/0/SD_ILS:1683732025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciencesent://SD_ILS/0/SD_ILS:1683812025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematicsent://SD_ILS/0/SD_ILS:1672642025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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. Brouwerent://SD_ILS/0/SD_ILS:1685292025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Mathematicsent://SD_ILS/0/SD_ILS:1727802025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Reading, Writing, and Proving A Closer Look at Mathematicsent://SD_ILS/0/SD_ILS:1732232025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Methods of Cut-Eliminationent://SD_ILS/0/SD_ILS:2058082025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Foundational Theories of Classical and Constructive Mathematicsent://SD_ILS/0/SD_ILS:2058422025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Advanced Łukasiewicz calculus and MV-algebrasent://SD_ILS/0/SD_ILS:2059492025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Model Theory and Applicationsent://SD_ILS/0/SD_ILS:1915852025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Cantor und die Franzosen Mathematik, Philosophie und das Unendlicheent://SD_ILS/0/SD_ILS:1927952025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Processesent://SD_ILS/0/SD_ILS:1941142025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>From Objects to Diagrams for Ranges of Functorsent://SD_ILS/0/SD_ILS:1948132025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Dual Tableaux: Foundations, Methodology, Case Studiesent://SD_ILS/0/SD_ILS:2057172025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wilesent://SD_ILS/0/SD_ILS:1923892025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Un mondo di idee La matematica ovunqueent://SD_ILS/0/SD_ILS:2045012025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>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,2008ent://SD_ILS/0/SD_ILS:2045272025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logica: Metodo Breveent://SD_ILS/0/SD_ILS:2045422025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Proof is in the Pudding The Changing Nature of Mathematical Proofent://SD_ILS/0/SD_ILS:1664232025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermeloent://SD_ILS/0/SD_ILS:1899982025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Banach Spaces and Descriptive Set Theory: Selected Topicsent://SD_ILS/0/SD_ILS:1919052025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathansonent://SD_ILS/0/SD_ILS:1665742025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Logikent://SD_ILS/0/SD_ILS:1766982025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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, Variaent://SD_ILS/0/SD_ILS:1884172025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creatorsent://SD_ILS/0/SD_ILS:1671882025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Missing Link in Cybernetics Logic and Continuityent://SD_ILS/0/SD_ILS:1672392025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logicism, Intuitionism, and Formalism What has Become of Them?ent://SD_ILS/0/SD_ILS:1703802025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Dude, Can You Count? Stories, Challenges, and Adventures in Mathematicsent://SD_ILS/0/SD_ILS:1760012025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Generationent://SD_ILS/0/SD_ILS:1770422025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Proof Theory The First Step into Impredicativityent://SD_ILS/0/SD_ILS:1857832025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logische Grundlagen der Mathematikent://SD_ILS/0/SD_ILS:1895602025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Generalized Measure Theoryent://SD_ILS/0/SD_ILS:1674122025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Introduction to Boolean Algebrasent://SD_ILS/0/SD_ILS:1665842025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematical Olympiad Challengesent://SD_ILS/0/SD_ILS:1682242025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Proof Theory for Fuzzy Logicsent://SD_ILS/0/SD_ILS:1705272025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Discrete Thoughts Essays on Mathematics, Science and Philosophyent://SD_ILS/0/SD_ILS:1682842025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Thoughtsent://SD_ILS/0/SD_ILS:1682852025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologieent://SD_ILS/0/SD_ILS:1876882025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Completeness Theory for Propositional Logicsent://SD_ILS/0/SD_ILS:1980802025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:1981252025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Guida alla teoria degli insiemient://SD_ILS/0/SD_ILS:2042852025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Theoryent://SD_ILS/0/SD_ILS:1676862025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:1699392025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Field Arithmeticent://SD_ILS/0/SD_ILS:1878262025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Mathematicsent://SD_ILS/0/SD_ILS:1879032025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Folgenent://SD_ILS/0/SD_ILS:1884162025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Discrete mathematics and its applicationsent://SD_ILS/0/SD_ILS:1108042025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar Rosen, Kenneth H.<br/>Yer Numarası QA39.3 R674 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>104 Number Theory Problems From the Training of the USA IMO Teament://SD_ILS/0/SD_ILS:1681992025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Strength of Nonstandard Analysisent://SD_ILS/0/SD_ILS:1769662025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Kolmogorov’s Heritage in Mathematicsent://SD_ILS/0/SD_ILS:1843742025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgenent://SD_ILS/0/SD_ILS:1848422025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1980472025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebraent://SD_ILS/0/SD_ILS:1661152025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematical Problems from Applied Logic II Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1667112025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Educationent://SD_ILS/0/SD_ILS:1523412025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Passione per Trilli Alcune idee dalla matematicaent://SD_ILS/0/SD_ILS:1526312025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Beginner’s Guide to Graph Theoryent://SD_ILS/0/SD_ILS:1682082025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Number Theory An Introduction via the Distribution of Primesent://SD_ILS/0/SD_ILS:1681862025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Legacy of Mario Pieri in Geometry and Arithmeticent://SD_ILS/0/SD_ILS:1682182025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Finite Model Theoryent://SD_ILS/0/SD_ILS:1818572025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Hajnalent://SD_ILS/0/SD_ILS:1833802025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theoryent://SD_ILS/0/SD_ILS:1843382025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004ent://SD_ILS/0/SD_ILS:1979742025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Theoryent://SD_ILS/0/SD_ILS:1658252025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Problems and Theorems in Classical Set Theoryent://SD_ILS/0/SD_ILS:1661392025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Techniques of Constructive Analysisent://SD_ILS/0/SD_ILS:1662282025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:1657822025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>18 Unconventional Essays on the Nature of Mathematicsent://SD_ILS/0/SD_ILS:1656772025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>The Congruences of a Finite Lattice A Proof-by-Picture Approachent://SD_ILS/0/SD_ILS:1681482025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 ensemblesent://SD_ILS/0/SD_ILS:1839152025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Axiom of Choiceent://SD_ILS/0/SD_ILS:1839832025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1688742025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Propositional and Predicate Calculus A Model of Argumentent://SD_ILS/0/SD_ILS:1753282025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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 Arithmeticent://SD_ILS/0/SD_ILS:1811002025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1978382025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Laws of Natureent://SD_ILS/0/SD_ILS:1525642025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Essays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1653372025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402025-12-05T23:43:36Z2025-12-05T23:43:36ZYazar 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/>