Search Results for Mathematical logic. - Narrowed by: Mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Mathematics.$002509Mathematics.$0026ps$003d300$0026isd$003dtrue?
2024-11-11T22:19:57Z
Aspects of Mathematical Logic
ent://SD_ILS/0/SD_ILS:191571
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Srivastava, S. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic and Model Theory A Brief Introduction
ent://SD_ILS/0/SD_ILS:173380
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic II Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:166711
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Liebeck, M. W. (Martin W.), 1954-<br/>Preferred Shelf Number QA9 L478 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331026.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Invitation to Abstract Mathematics
ent://SD_ILS/0/SD_ILS:332077
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bajnok, Béla. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332077.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Erdős Centennial
ent://SD_ILS/0/SD_ILS:334774
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334774.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331010.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Logical Introduction to Proof
ent://SD_ILS/0/SD_ILS:331358
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331358.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Paul Erdős II
ent://SD_ILS/0/SD_ILS:332243
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332243.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
ent://SD_ILS/0/SD_ILS:332605
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hinkis, Arie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332605.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332637.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a General Theory of Classifications
ent://SD_ILS/0/SD_ILS:332639
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332639.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Pudlák, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332681.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332859.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Real Numbers An Introduction to Set Theory and Analysis
ent://SD_ILS/0/SD_ILS:332876
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Stillwell, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332876.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333673.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337476.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338283.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335644.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
ent://SD_ILS/0/SD_ILS:336968
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Tapp, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336968.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:337115
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Cullinane, Michael J.<br/>Preferred Shelf Number QA9 C84 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Rosen, Kenneth H. Krithivasan, Kamala.<br/>Preferred Shelf Number QA39.3 R674 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Mathematical Olympiad Treasures
ent://SD_ILS/0/SD_ILS:168359
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Excursions in the History of Mathematics
ent://SD_ILS/0/SD_ILS:168364
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Kleiner, Israel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Discrete Mathematics
ent://SD_ILS/0/SD_ILS:168370
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Set Theory With a Gentle Introduction to Forcing
ent://SD_ILS/0/SD_ILS:173379
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
ent://SD_ILS/0/SD_ILS:174371
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Around and Beyond the Square of Opposition
ent://SD_ILS/0/SD_ILS:176782
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematical Experience, Study Edition
ent://SD_ILS/0/SD_ILS:168373
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
ent://SD_ILS/0/SD_ILS:168381
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Mathematical Structures and Proofs
ent://SD_ILS/0/SD_ILS:174389
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Gerstein, Larry J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria algebrica dei meccanismi automatici
ent://SD_ILS/0/SD_ILS:191521
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Righi, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Sparsity Graphs, Structures, and Algorithms
ent://SD_ILS/0/SD_ILS:196287
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Non solo calcoli Domande e risposte sui perché della matematica
ent://SD_ILS/0/SD_ILS:204679
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Selected Correspondence of L.E.J. Brouwer
ent://SD_ILS/0/SD_ILS:168529
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs and Fundamentals A First Course in Abstract Mathematics
ent://SD_ILS/0/SD_ILS:172780
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bloch, Ethan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reading, Writing, and Proving A Closer Look at Mathematics
ent://SD_ILS/0/SD_ILS:173223
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
ent://SD_ILS/0/SD_ILS:192795
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hyperfinite Dirichlet Forms and Stochastic Processes
ent://SD_ILS/0/SD_ILS:194114
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Un mondo di idee La matematica ovunque
ent://SD_ILS/0/SD_ILS:204501
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Skof, Fulvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Methods of Cut-Elimination
ent://SD_ILS/0/SD_ILS:205808
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational Theories of Classical and Constructive Mathematics
ent://SD_ILS/0/SD_ILS:205842
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Łukasiewicz calculus and MV-algebras
ent://SD_ILS/0/SD_ILS:205949
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mundici, D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:198771
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Proof is in the Pudding The Changing Nature of Mathematical Proof
ent://SD_ILS/0/SD_ILS:166423
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Krantz, Steven G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model Theory and Applications
ent://SD_ILS/0/SD_ILS:191585
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mangani, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Games, Norms and Reasons Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205924
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Recursion Theory and Computational Complexity
ent://SD_ILS/0/SD_ILS:191568
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
From Objects to Diagrams for Ranges of Functors
ent://SD_ILS/0/SD_ILS:194813
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ent://SD_ILS/0/SD_ILS:166574
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Set Theory
ent://SD_ILS/0/SD_ILS:169590
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Banach Spaces and Descriptive Set Theory: Selected Topics
ent://SD_ILS/0/SD_ILS:191905
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Dodos, Pandelis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cardinal Invariants on Boolean Algebras
ent://SD_ILS/0/SD_ILS:176670
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Monk, J. Donald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematische Logik
ent://SD_ILS/0/SD_ILS:176698
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Ziegler, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
ent://SD_ILS/0/SD_ILS:189998
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
ent://SD_ILS/0/SD_ILS:188417
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Boolean Algebras
ent://SD_ILS/0/SD_ILS:166584
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
ent://SD_ILS/0/SD_ILS:167188
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Olympiad Challenges
ent://SD_ILS/0/SD_ILS:168224
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proof Theory for Fuzzy Logics
ent://SD_ILS/0/SD_ILS:170527
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
ent://SD_ILS/0/SD_ILS:176001
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Constanda, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Composition Paradigms of Automated Music Generation
ent://SD_ILS/0/SD_ILS:177042
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logische Grundlagen der Mathematik
ent://SD_ILS/0/SD_ILS:189560
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Schindler, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Missing Link in Cybernetics Logic and Continuity
ent://SD_ILS/0/SD_ILS:167239
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Andrew, Alex M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Generalized Measure Theory
ent://SD_ILS/0/SD_ILS:167412
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logicism, Intuitionism, and Formalism What has Become of Them?
ent://SD_ILS/0/SD_ILS:170380
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proof Theory The First Step into Impredicativity
ent://SD_ILS/0/SD_ILS:185783
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Pohlers, Wolfram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
ent://SD_ILS/0/SD_ILS:187903
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Kohlenbach, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:187826
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
ent://SD_ILS/0/SD_ILS:187688
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hausdorff, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Completeness Theory for Propositional Logics
ent://SD_ILS/0/SD_ILS:198080
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics and Graph Theory
ent://SD_ILS/0/SD_ILS:167686
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Thoughts Essays on Mathematics, Science and Philosophy
ent://SD_ILS/0/SD_ILS:168284
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Indiscrete Thoughts
ent://SD_ILS/0/SD_ILS:168285
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:188416
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Guida alla teoria degli insiemi
ent://SD_ILS/0/SD_ILS:204285
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lolli, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:110804
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Rosen, Kenneth H.<br/>Preferred Shelf Number QA39.3 R674 2007<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
ent://SD_ILS/0/SD_ILS:166115
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Number Theory An Introduction via the Distribution of Primes
ent://SD_ILS/0/SD_ILS:168186
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
104 Number Theory Problems From the Training of the USA IMO Team
ent://SD_ILS/0/SD_ILS:168199
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner’s Guide to Graph Theory
ent://SD_ILS/0/SD_ILS:168208
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Wallis, W. D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Legacy of Mario Pieri in Geometry and Arithmetic
ent://SD_ILS/0/SD_ILS:168218
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Strength of Nonstandard Analysis
ent://SD_ILS/0/SD_ILS:176966
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo An Approach to His Life and Work
ent://SD_ILS/0/SD_ILS:185226
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:198047
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
ent://SD_ILS/0/SD_ILS:152341
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Passione per Trilli Alcune idee dalla matematica
ent://SD_ILS/0/SD_ILS:152631
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lucchetti, Roberto. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Kolmogorov’s Heritage in Mathematics
ent://SD_ILS/0/SD_ILS:184374
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
ent://SD_ILS/0/SD_ILS:184842
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Problems and Theorems in Classical Set Theory
ent://SD_ILS/0/SD_ILS:166139
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Techniques of Constructive Analysis
ent://SD_ILS/0/SD_ILS:166228
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Congruences of a Finite Lattice A Proof-by-Picture Approach
ent://SD_ILS/0/SD_ILS:168148
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Grätzer, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
ent://SD_ILS/0/SD_ILS:183380
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Théorie des ensembles
ent://SD_ILS/0/SD_ILS:183915
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bourbaki, N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
ent://SD_ILS/0/SD_ILS:197974
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
18 Unconventional Essays on the Nature of Mathematics
ent://SD_ILS/0/SD_ILS:165677
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Hersh, Reuben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Axiom of Choice
ent://SD_ILS/0/SD_ILS:183983
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Herrlich, Horst. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Laws of Nature
ent://SD_ILS/0/SD_ILS:152564
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Essays in Constructive Mathematics
ent://SD_ILS/0/SD_ILS:165337
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Edwards, Harold M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Propositional and Predicate Calculus A Model of Argument
ent://SD_ILS/0/SD_ILS:175328
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Goldrei, Derek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Valued Fields
ent://SD_ILS/0/SD_ILS:182242
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:181100
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
ent://SD_ILS/0/SD_ILS:181540
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:197838
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2024-11-11T22:19:57Z
2024-11-11T22:19:57Z
Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>