Search Results for Proof theory.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(15)

Cupillari, Antonella.

(3)

Girard, Jean-Yves.

(2)

(2)

von Plato, Jan.

(2)

Aher, Martin. editor.

(1)

Akiyama, Jin. author.

(1)

(1)

Barroca, Bruno.

(1)

Berkovitz, Leonard David, 1924-

(1)

Bimbo, Katalin, 1963- author.

(1)

Blanton, Maria L.

(1)

Braüner, Torben. author.

(1)

Buss, Samuel R.

(1)

Chaitin, Gregory J.

(1)

Chemla, Karine.

(1)

Chuang, Isaac L., 1968-

(1)

Coello, Carlos Coello. editor.

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

(1)

Costa, Newton C. A. da.

(1)

Craig, William, 1918-

(1)

Creissac Campos, Jose. editor.

(1)

Della Vedova, Gianluca. editor.

(1)

Doria, Francisco Antn̥io.

(1)

Dundua, Besik. editor.

(1)

Ehrhard, Thomas.

(1)

Erickson, Matthew P.

(1)

Gabbay, Dov. author.

(1)

Gaspar-Cunha, António. editor.

(1)

Gibilisco, Stan.

(1)

Glässer, Uwe. editor.

(1)

Hacking, Ian, author.

(1)

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. editor.

(1)

Jahnke, H. N. (Hans Niels), 1948-

(1)

Jahren, Bjørn, 1945-

(1)

Jeřábek, Emil. editor.

(1)

Johnson, Clayton Matthew.

(1)

Kano, Mikio. author.

(1)

(1)

(1)

Kohlenbach, Ulrich. author.

(1)

Krantz, Steven G. (Steven George), 1951-

(1)

Kupke, Clemens. editor.

(1)

Laganier, Richard.

(1)

Landini, Gregory.

(1)

Lempp, Steffen. editor.

(1)

Lerman, Manuel.

(1)

Malvone, Vadim. editor.

(1)

Manea, Florin. editor. (orcid)

(1)

Medhin, Negash G.

(1)

Metcalfe, George. author.

(1)

Murano, Aniello. editor.

(1)

Myhill, John, 1923-1987.

(1)

Méry, Dominique. editor.

(1)

National Council of Teachers of Mathematics.

(1)

Nguyen, Phuong.

(1)

Nielsen, Michael A. 1974-

(1)

Olivetti, Nicola. author.

(1)

Palanque, Philippe. editor. (orcid)

(1)

Palgrave Connect (Online service)

(1)

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(1)

(1)

Rademaker, Alexandre. author.

(1)

Ramanayake, Revantha. editor.

(1)

(1)

Reiter, Edna E. (Edna Elizabeth)

(1)

Rodgers, Nancy, 1941-

(1)

(1)

Rossi, Richard J., 1956-

(1)

(1)

ScienceDirect (Online service)

(1)

(1)

(1)

Stylianou, Despina A.

(1)

Supowit, Kenneth J. author.

(1)

(1)

Sørensen, Morten Heine.

(1)

Takeuti, Gaisi, 1926-

(1)

Urban, Josef. editor.

(1)

Urzyczyn, Paweł.

(1)

Verstegen, Ian.

(1)

Vesley, Richard Eugene, 1932-

(1)

Voronkov, Andrei. editor.

(1)

Waldhausen, Friedhelm, 1938-

(1)

Tümünü genişlet

Dil

(49)

Yayın Yılı

-

(8)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(22)

Logic, Symbolic and mathematical.

(10)

(5)

Computer science.

(3)

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Electronic books.

(2)

(2)

Mathematics -- Philosophy.

(2)

(2)

Algebra, Boolean.

(1)

Algebraic logic.

(1)

Art -- Historiography.

(1)

Art -- Philosophy.

(1)

Artificial intelligence.

(1)

Asset allocation.

(1)

(1)

Categories (Mathematics)

(1)

Cities and towns -- Growth -- Congresses.

(1)

City planning -- Congresses.

(1)

Combinatory logic.

(1)

Curry-Howard isomorphism.

(1)

Frege, Gottlob, 1848-1925.

(1)

Functional analysis.

(1)

Gd̲el's theorem.

(1)

(1)

Investment analysis.

(1)

Lambda calculus.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Study and teaching.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

(1)

Logistic Models.

(1)

MATHEMATICS / Logic.

(1)

Mappings (Mathematics)

(1)

Matematik -- Felsefe.

(1)

Mathematical Computing.

(1)

Mathematical analysis -- Foundations -- Textbooks.

(1)

Mathematical analysis -- Study and teaching.

(1)

Mathematical notation.

(1)

Mathematics, Ancient.

(1)

Mathematische Logik.

(1)

(1)

Nonlinear control theory.

(1)

(1)

Operator theory.

(1)

Philosophy (General).

(1)

(1)

Piecewise linear topology.

(1)

Portfolio management.

(1)

Priority (Philosophy)

(1)

Problem solving -- Study and teaching.

(1)

Proof theory -- Study and teaching.

(1)

Proof theory -- Textbooks.

(1)

Quantum computers.

(1)

THEORIE EQUATIONNELLE.

(1)

Urbanization -- Congresses.

(1)

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

(1)

İspat kuramı.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

49 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

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.

The nuts and bolts of proofs : an introduction to mathematical proofs için kapak resmi

The nuts and bolts of proofs : an introduction to mathematical proofs

The nuts and bolts of proofs : an introduction to mathematical proofs

Yazar

Cupillari, Antonella.

Yer Numarası

QA9.54 C86 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

26.

A realist theory of art history için kapak resmi

A realist theory of art history

A realist theory of art history

Yazar

Verstegen, Ian.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Nonlinear optimal control theory için kapak resmi

Nonlinear optimal control theory

Nonlinear optimal control theory

Yazar

Berkovitz, Leonard David, 1924- Medhin, Negash G.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Spaces of PL manifolds and categories of simple maps için kapak resmi

Spaces of PL manifolds and categories of simple maps

Spaces of PL manifolds and categories of simple maps

Yazar

Waldhausen, Friedhelm, 1938- Jahren, Bjørn, 1945- Rognes, John.

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.2307/j.ctt24hqsv

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011 için kapak resmi

Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011

Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011

Yazar

Serre, Damien. Barroca, Bruno. Laganier, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Limits of computation an introduction to the undecidable and the intractable için kapak resmi

Limits of computation an introduction to the undecidable and the intractable

Limits of computation an introduction to the undecidable and the intractable

Yazar

Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Gd̲el's way exploits into an undecidable world için kapak resmi

Gd̲el's way exploits into an undecidable world

Gd̲el's way exploits into an undecidable world

Yazar

Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Frege's notations what they are and how they mean için kapak resmi

Frege's notations what they are and how they mean

Frege's notations what they are and how they mean

Yazar

Landini, Gregory. Palgrave Connect (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

The history of mathematical proof in ancient traditions için kapak resmi

The history of mathematical proof in ancient traditions

The history of mathematical proof in ancient traditions

Yazar

Chemla, Karine.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Discrete mathematics demystified a self-teaching guide için kapak resmi

Discrete mathematics demystified a self-teaching guide

Discrete mathematics demystified a self-teaching guide

Yazar

Krantz, Steven G. (Steven George), 1951-

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Math proofs demystified a self-teaching guide için kapak resmi

Math proofs demystified a self-teaching guide

Math proofs demystified a self-teaching guide

Yazar

Gibilisco, Stan.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11