Arama Sonuçları Mathematical Logic and Foundations. - Daraltılmış: English

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-25T07:36:31Z

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-25T07:36:31Z

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

Set theory

2024-11-25T07:36:31Z

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

Belief Revision in Non-Classical Logics

2024-11-25T07:36:31Z

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-25T07:36:31Z

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

Logic and Structure

2024-11-25T07:36:31Z

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-25T07:36:31Z

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-25T07:36:31Z

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

An Invitation to Abstract Mathematics

2024-11-25T07:36:31Z

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-25T07:36:31Z

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

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

2024-11-25T07:36:31Z

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

Visual Reasoning with Diagrams

2024-11-25T07:36:31Z

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-25T07:36:31Z

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

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-25T07:36:31Z

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

Reactive Kripke Semantics

2024-11-25T07:36:31Z

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 Argument of Mathematics

2024-11-25T07:36:31Z

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

Cylindric-like Algebras and Algebraic Logic

2024-11-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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-25T07:36:31Z

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

A Course on Mathematical Logic

2024-11-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

2024-11-25T07:36:31Z

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

Stochastic Calculus with Infinitesimals

2024-11-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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 Mathematics of Paul Erdős II

2024-11-25T07:36:31Z

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 Real Numbers An Introduction to Set Theory and Analysis

2024-11-25T07:36:31Z

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 of Fuzzy Sets and Fuzzy Logic

2024-11-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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

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

2024-11-25T07:36:31Z

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