Search Results for MATHEMATICS / Logic.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Yayın Yılı: 2011

Yazar

SpringerLink (Online service)

(14)

Wright, Georg Henrik von, 1916-

(2)

Albeverio, Sergio. author.

(1)

Aldridge, Maurice V., author.

(1)

Baaz, Matthias.

(1)

Black, Max, 1909-

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Braithwaite, Richard Bevan, ed.

(1)

Bridges, Douglas S. author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

Casari, E. editor.

(1)

Chwistek, Leon, 1884-

(1)

Ciliberto, Ciro. editor.

(1)

Clarke, Peter. editor.

(1)

(1)

Daepp, Ulrich. author.

(1)

Dalen, Dirk. author.

(1)

DeVidi, David. editor.

(1)

Eisele, Carolyn, editor.

(1)

Fan, Ruzong. author.

(1)

Golińska Pilarek, Joanna. author.

(1)

Gorkin, Pamela. author.

(1)

Gupta, Amitabha. editor.

(1)

Hallett, Michael. editor.

(1)

Halvorson, Hans.

(1)

Harper, Jr, Charles L..

(1)

(1)

Herzberg, Frederik. author.

(1)

Hitzler, Pascal., author.

(1)

Hopkins, Burt C.

(1)

Kennedy, Juliette.

(1)

(1)

Kuusela, Oskari.

(1)

Lolli, G. editor.

(1)

Lucchetti, Roberto. editor.

(1)

Mangani, P. editor.

(1)

(1)

Monk, J. Donald, ort. yaz.

(1)

Mundici, D. author.

(1)

(1)

Nicaise, Johannes.

(1)

Nicod, Jean, 1893-1924.

(1)

Orlowska, Ewa. author.

(1)

Pacuit, Eric. editor.

(1)

Papadimitriou, Christos H..

(1)

(1)

Putnam, Hilary W..

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Scott, Dana S..

(1)

(1)

(1)

Skof, Fulvia. editor.

(1)

Sommaruga, Giovanni. editor.

(1)

Tarski, Alfred, ort. yaz.

(1)

Tieszen, Richard L.

(1)

Tieszen, Richard L., author.

(1)

Vîţă, Luminiţa Simona. author.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

van Benthem, Johan.

(1)

van Benthem, Johan. editor.

(1)

von Plato, Jan.

(1)

Tümünü genişlet

Dil

(35)

(1)

Konu

Logic, Symbolic and mathematical.

(23)

(12)

(9)

Mathematics -- Philosophy.

(6)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(5)

(4)

MATEMATİK -- FELSEFE.

(3)

MATHEMATICS / Logic

(3)

MATHEMATICS / Logic.

(3)

Science -- Philosophy.

(3)

Computer science.

(2)

Global analysis (Mathematics).

(2)

(2)

(2)

Philosophy (General).

(2)

(2)

AKIL YÜRÜTME.

(1)

Analytic spaces.

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

Categorial grammar.

(1)

Distribution (Probability theory).

(1)

Economics, Mathematical.

(1)

GEOMETRİ -- TEMEL.

(1)

Genetic epistemology.

(1)

Geometry -- Foundations.

(1)

Geometry, Algebraic.

(1)

Gödel's theorem.

(1)

Information theory.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

Language and logic.

(1)

Logic programming.

(1)

Logical positivism.

(1)

MANTIKSAL POZİTİVİZM.

(1)

MATHEMATICS / General.

(1)

Mathematical linguistics.

(1)

Mathematical physics.

(1)

Mathematische Linguistik.

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

(1)

Quantum theory -- Mathematics.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

(1)

Science -- Methodology.

(1)

Semantics -- Mathematical models.

(1)

(1)

(1)

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

Wittgenstein, Ludwig, 1889-1951.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

36 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

25.

Foundational Theories of Classical and Constructive Mathematics için kapak resmi

Foundational Theories of Classical and Constructive Mathematics

Foundational Theories of Classical and Constructive Mathematics

Yazar

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0431-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1. için kapak resmi

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.

Yazar

Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

The Selected Correspondence of L.E.J. Brouwer için kapak resmi

The Selected Correspondence of L.E.J. Brouwer

The Selected Correspondence of L.E.J. Brouwer

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-537-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

The Oxford handbook of Wittgenstein için kapak resmi

The Oxford handbook of Wittgenstein

The Oxford handbook of Wittgenstein

Yazar

Kuusela, Oskari. McGinn, Marie.

Yer Numarası

B3376.W564 O95 2011

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

29.

Recursion Theory and Computational Complexity için kapak resmi

Recursion Theory and Computational Complexity

Recursion Theory and Computational Complexity

Yazar

Lolli, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11072-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Aspects of Mathematical Logic için kapak resmi

Aspects of Mathematical Logic

Aspects of Mathematical Logic

Yazar

Casari, E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11080-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Model Theory and Applications için kapak resmi

Model Theory and Applications

Model Theory and Applications

Yazar

Mangani, P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11121-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Apartness and Uniformity A Constructive Development için kapak resmi

Apartness and Uniformity A Constructive Development

Apartness and Uniformity A Constructive Development

Yazar

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22415-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

The Elements of Mathematical Semantics için kapak resmi

The Elements of Mathematical Semantics

The Elements of Mathematical Semantics

Yazar

Aldridge, Maurice V., author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9783110871432
https://www.degruyter.com/isbn/9783110871432
Cover https://www.degruyter.com/document/cover/isbn/9783110871432/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

The New Elements of Mathematics. Volume 4, Mathematical Philosophy için kapak resmi

The New Elements of Mathematics. Volume 4, Mathematical Philosophy

The New Elements of Mathematics. Volume 4, Mathematical Philosophy

Yazar

Eisele, Carolyn, editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9783110805888
https://www.degruyter.com/isbn/9783110805888
Cover https://www.degruyter.com/document/cover/isbn/9783110805888/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Mathematical aspects of logic programming semantics için kapak resmi

Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal., author. Seda, Anthony.

Yer Numarası

QA76.63 .H58 2011

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Proof Analysis A Contribution to Hilbert's Last Problem için kapak resmi

Proof Analysis A Contribution to Hilbert's Last Problem

Proof Analysis A Contribution to Hilbert's Last Problem

Yazar

Negri, Sara. von Plato, Jan.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11