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

+

Konu: Proof theory.

Yazar

Buss, Samuel R.

(1)

Craig, William, 1918-

(1)

(1)

Roberts, Charles, author.

(1)

(1)

Sørensen, Morten Heine.

(1)

Takeuti, Gaisi, 1926-

(1)

Taylor and Francis.

(1)

Urzyczyn, Paweł.

(1)

von Plato, Jan.

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

Combinatory logic.

(1)

Curry-Howard isomorphism.

(1)

Lambda calculus.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

Logic, Symbolic and mathematical.

(1)

(1)

MATHEMATICS / Functional Analysis.

(1)

MATHEMATICS / General.

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Set Theory.

(1)

Mathematische Logik.

(1)

Proof theory -- Textbooks.

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

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

Introduction to mathematical proofs için kapak resmi

Introduction to mathematical proofs

Introduction to mathematical proofs

Yazar

Roberts, Charles, author. Taylor and Francis.

Yer Numarası

QA9.54

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11