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

Daraltılmış:

+

Dil: English

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

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.

37.

Logical Foundations of Proof Complexity için kapak resmi

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Yazar

Cook, Stephen. Nguyen, Phuong.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

A Framework for Priority Arguments için kapak resmi

A Framework for Priority Arguments

A Framework for Priority Arguments

Yazar

Lerman, Manuel.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Explanation and proof in mathematics : philosophical and educational perspectives için kapak resmi

Explanation and proof in mathematics : philosophical and educational perspectives

Explanation and proof in mathematics : philosophical and educational perspectives

Yazar

Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.

Yer Numarası

QA9.54 E97 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

40.

Teaching and learning proof across the grades a K-16 perspective için kapak resmi

Teaching and learning proof across the grades a K-16 perspective

Teaching and learning proof across the grades a K-16 perspective

Yazar

Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Tracking reason proof, consequence, and truth için kapak resmi

Tracking reason proof, consequence, and truth

Tracking reason proof, consequence, and truth

Yazar

Azzouni, Jody.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Theorems, corollaries, lemmas, and methods of proof için kapak resmi

Theorems, corollaries, lemmas, and methods of proof

Theorems, corollaries, lemmas, and methods of proof

Yazar

Rossi, Richard J., 1956-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Lectures on the Curry-Howard isomorphism için kapak resmi

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Yazar

Sørensen, Morten Heine. Urzyczyn, Paweł.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

The nuts and bolts of proofs için kapak resmi

The nuts and bolts of proofs

The nuts and bolts of proofs

Yazar

Cupillari, Antonella.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Quantum computation and quantum information için kapak resmi

Quantum computation and quantum information

Quantum computation and quantum information

Yazar

Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-

Yer Numarası

QA76.889 N54 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

46.

Linear Logic in Computer Science için kapak resmi

Linear Logic in Computer Science

Linear Logic in Computer Science

Yazar

Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Learning to reason an introduction to logic, sets and relations için kapak resmi

Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Yazar

Rodgers, Nancy, 1941-

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Algebra of proofs için kapak resmi

Algebra of proofs

Algebra of proofs

Yazar

Szabo, M. E.

Yer Numarası

ONLINE

Elektronik Erişim

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

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