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ış:

+

Kütüphane: Çevrimiçi Kütüphane

Yazar

SpringerLink (Online service)

(15)

Cupillari, Antonella.

(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)

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)

Girard, Jean-Yves.

(1)

Glässer, Uwe. editor.

(1)

Henggeler Antunes, Carlos. editor.

(1)

Hole, Daniel. editor.

(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)

Olivetti, Nicola. author.

(1)

Palanque, Philippe. editor. (orcid)

(1)

Palgrave Connect (Online service)

(1)

Pitts, Andrew. editor. (orcid)

(1)

Pohlers, Wolfram. author.

(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

(44)

Yayın Yılı

-

(6)

(5)

(5)

(5)

(5)

(3)

(3)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(19)

Logic, Symbolic and mathematical.

(10)

(4)

Computer science.

(3)

(2)

Computational complexity.

(2)

Computer science -- Mathematics.

(2)

Electronic books.

(2)

(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)

MATHEMATICS / Logic.

(1)

Mappings (Mathematics)

(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)

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)

THEORIE EQUATIONNELLE.

(1)

Urbanization -- Congresses.

(1)

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik 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

44 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4

00000000DEFAULT_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.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

Logic in algebraic form Three languages and theories için kapak resmi

Logic in algebraic form Three languages and theories

Logic in algebraic form Three languages and theories

Yazar

Craig, William, 1918-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11