Suivez-nous sur

Recherche

Proof theory

Schütte, Kurt

Proof theory

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

Proof theory

Des noms

[Autore] Schütte, Kurt

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Sujet BNI

Teoria della dimostrazione

Description

Proof theory / Kurt Schutte

Description physique

XII, 302 p. ; 25 cm.

Nombres standard

ISBN: 0387079114, New York
ISBN: 3540079114, Berlin

Date

1977

Place de publication

Berlin [etc.]

Village

GERMANIA

Langue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0108058

Liens de ressources

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

Étiqueter

Images

Studi e schizzi

Studi e schizzi

Auteur : Basile, Ernesto <1857-1932>

Année : 1909

Il rospo e le ninfee

Il rospo e le ninfee

Auteur : Lenares, Alessandro

Année : 2019

Résultats 2 de 21876

Des textes

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

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

Auteur : International summer institute and logic colloquium <1974

Année : 1975

Vollstandige Systeme modaler und intuitionistischer Logik

Vollstandige Systeme modaler und intuitionistischer Logik

Auteur : Schütte, Kurt

Année : 1968

Résultats 2 de 2184997

Vidéo

Touching soap films

Touching soap films

Année : 1999

A prova di morte

A prova di morte

Année : 2007

Résultats 2 de 69612

l\'audio

Living proof

Living proof

Auteur : Cher

Année : 2001

Long walk home : music from the Rabbit-Proof Fence

Long walk home : music from the Rabbit-Proof Fence

Auteur : Gabriel, Peter <1950- >

Année : 2002

Résultats 2 de 24131

commentaires

Chargez les autres

Écrire un commentaire

Envoyer