Search Results for Mathematical logic.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

624 sonuç bulundu

1 2 3 4 5 .. 52

000000000000DEFAULT_TR

25.

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:

26.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. SpringerLink (Online service)

Yer Numarası

XX(520259.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-21112-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Strict Finitism and the Logic of Mathematical Applications

Yazar

Ye, Feng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1347-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Mathematical Logic and Model Theory A Brief Introduction

Yazar

Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2176-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940

Yazar

Mancosu, Paolo.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Yazar

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Mathematical Problems from Applied Logic II Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-69245-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

An Outline of mathematical logic : fundamental results and notions explained with all details

Yazar

Grzegorczyk, Andrzej.

Yer Numarası

BC 131 G7 1974

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

34.

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

Yazar

Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780720422610

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Yazar

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)