Search Results for Foundations.

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

+

Konu: Proof theory.

Yazar

Buss, Samuel R.

(1)

(1)

Craig, William, 1918-

(1)

Gunderson, David S., author.

(1)

Nguyen, Phuong.

(1)

(1)

Sørensen, Morten Heine.

(1)

Takeuti, Gaisi, 1926-

(1)

Urzyczyn, Paweł.

(1)

Tümünü genişlet

Dil

(7)

Yayın Yılı

-

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(1)

Algebraic logic.

(1)

Categories (Mathematics)

(1)

(1)

(1)

Combinatory logic.

(1)

Computational complexity.

(1)

Curry-Howard isomorphism.

(1)

Discrete Mathematics

(1)

Discrete Mathematics.

(1)

Lambda calculus.

(1)

Logic, Symbolic and mathematical.

(1)

(1)

Mathematics & Statistics

(1)

Mathematics & Statistics.

(1)

Mathematische Logik.

(1)

(1)

(1)

THEORIE EQUATIONNELLE.

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Ç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ç

7 sonuç bulundu

Arama sonuçlarına abone ol

1

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

1.

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:

2.

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:

3.

Handbook of proof theory için kapak resmi

Handbook of proof theory

Handbook of proof theory

Yazar

Buss, Samuel R.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

Proof theory için kapak resmi

Yazar

Takeuti, Gaisi, 1926-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Handbook of Mathematical Induction : Theory and Applications için kapak resmi

Handbook of Mathematical Induction : Theory and Applications

Handbook of Mathematical Induction : Theory and Applications

Yazar

Gunderson, David S., author.

Yer Numarası

QA9.54 G863 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11