Arama Sonuçları Mathematical Logic and Foundations.

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.

2024-11-25T20:21:57Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The foundations of mathematics

2024-11-25T20:21:57Z

Yazar Kunen, Kenneth.
Yer Numarası QA9 K796 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Set theory

2024-11-25T20:21:57Z

Yazar Kunen, Kenneth.
Yer Numarası QA248 K858 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and Structure

2024-11-25T20:21:57Z

Yazar Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE(331010.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

2024-11-25T20:21:57Z

Yazar Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE(331026.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Logical Introduction to Proof

2024-11-25T20:21:57Z

Yazar Cunningham, Daniel W. author. SpringerLink (Online service)
Yer Numarası ONLINE(331358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2024-11-25T20:21:57Z

Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331853.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Invitation to Abstract Mathematics

2024-11-25T20:21:57Z

Yazar Bajnok, Béla. author. SpringerLink (Online service)
Yer Numarası ONLINE(332077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

2024-11-25T20:21:57Z

Yazar Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(332681.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00119-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Reasoning with Diagrams

2024-11-25T20:21:57Z

Yazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332637.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards a General Theory of Classifications

2024-11-25T20:21:57Z

Yazar Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Yer Numarası ONLINE(332639.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

2024-11-25T20:21:57Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334018.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35644-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-11-25T20:21:57Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-11-25T20:21:57Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2024-11-25T20:21:57Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematics of Paul Erdős II

2024-11-25T20:21:57Z

Yazar Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332243.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

2024-11-25T20:21:57Z

Yazar Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Yer Numarası ONLINE(332859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01333-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-11-25T20:21:57Z

Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334702.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-11-25T20:21:57Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Belief Revision in Non-Classical Logics

2024-11-25T20:21:57Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2024-11-25T20:21:57Z

Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330942.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

2024-11-25T20:21:57Z

Yazar Hinkis, Arie. author. SpringerLink (Online service)
Yer Numarası ONLINE(332605.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Real Numbers An Introduction to Set Theory and Analysis

2024-11-25T20:21:57Z

Yazar Stillwell, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(332876.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01577-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-11-25T20:21:57Z

Yazar Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2024-11-25T20:21:57Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333036.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Calculus with Infinitesimals

2024-11-25T20:21:57Z

Yazar Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası ONLINE(333673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33149-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cylindric-like Algebras and Algebraic Logic

2024-11-25T20:21:57Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-11-25T20:21:57Z

Yazar Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333950.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-11-25T20:21:57Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2024-11-25T20:21:57Z

Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(335941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Argument of Mathematics

2024-11-25T20:21:57Z

Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1