Komm zurück

Proof theory

Schütte, Kurt

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Proof theory

Namen

[Autore] Schütte, Kurt

Dewey -Klasse

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

BNI -Subjekt

Teoria della dimostrazione

Beschreibung

Proof theory / Kurt Schutte

Physische Beschreibung

XII, 302 p. ; 25 cm.

Standardzahlen

ISBN: 0387079114, New York
ISBN: 3540079114, Berlin

Datum

1977

Ort der Veröffentlichung

Berlin [etc.]

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\PUV\0108058

Ressourcenverbindungen

http://id.sbn.it/bid/PUV0108058

Etikett

Bilder

Studi e schizzi

Autor : Basile, Ernesto <1857-1932>

Jahr : 1909

Il rospo e le ninfee

Autor : Lenares, Alessandro

Jahr : 2019

Ergebnisse 2 von 21876

Alle ansehen

Texte

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

Autor : International summer institute and logic colloquium <1974

Jahr : 1975

Vollstandige Systeme modaler und intuitionistischer Logik

Autor : Schütte, Kurt

Jahr : 1968

Ergebnisse 2 von 2184997

Alle ansehen

Video

Touching soap films

Jahr : 1999

A prova di morte

Jahr : 2007

Ergebnisse 2 von 69612

Alle ansehen

Audio

Living proof

Autor : Cher

Jahr : 2001

Long walk home : music from the Rabbit-Proof Fence

Autor : Gabriel, Peter <1950- >

Jahr : 2002

Ergebnisse 2 von 24131

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

Proof theory

Etikett

Studi e schizzi

Il rospo e le ninfee

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

Vollstandige Systeme modaler und intuitionistischer Logik

Touching soap films

A prova di morte

Living proof

Long walk home : music from the Rabbit-Proof Fence

Kommentare