Search Results for Mathematical Logic and Foundations.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002bLogic$002band$002bFoundations.$0026te$003dILS$0026ps$003d300?
2024-11-11T06:29:20Z
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
ent://SD_ILS/0/SD_ILS:257231
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The foundations of mathematics
ent://SD_ILS/0/SD_ILS:267321
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Set theory
ent://SD_ILS/0/SD_ILS:352659
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA248 K858 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
ent://SD_ILS/0/SD_ILS:334018
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334018.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335100.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
An Invitation to Abstract Mathematics
ent://SD_ILS/0/SD_ILS:332077
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
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-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335941.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
ent://SD_ILS/0/SD_ILS:330942
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</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-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
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/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2024-11-11T06:29:20Z
2024-11-11T06:29:20Z
Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>