Search Results for Mathematical Logic and Foundations.

31 sonuç bulundu

1 2 3

000000000000DEFAULT_TR

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.

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

The foundations of mathematics

Yazar

Kunen, Kenneth.

Yer Numarası

QA9 K796 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Set theory

Yazar

Kunen, Kenneth.

Yer Numarası

QA248 K858 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Logic and Structure

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

A Logical Introduction to Proof

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

An Invitation to Abstract Mathematics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Reactive Kripke Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Belief Revision in Non-Classical Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3

	{displayName}	{count}
{error}