Seguici su

Cerca

Torna Indietro

Proof theory

Schütte, Kurt

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Proof theory

Nomi

[Autore] Schütte, Kurt

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Soggetto BNI

Teoria della dimostrazione

Descrizione

Proof theory / Kurt Schutte

Descrizione Fisica

XII, 302 p. ; 25 cm.

Numeri Standard

ISBN: 0387079114, New York
ISBN: 3540079114, Berlin

Data

1977

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0108058

Link Risorse

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

Tag

Immagini

Studi e schizzi

Autore : Basile, Ernesto <1857-1932>

Anno : 1909

Il rospo e le ninfee

Autore : Lenares, Alessandro

Anno : 2019

Risultati 2 di 21876

Visualizza Tutti

Testi

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

Autore : International summer institute and logic colloquium <1974

Anno : 1975

Vollstandige Systeme modaler und intuitionistischer Logik

Autore : Schütte, Kurt

Anno : 1968

Risultati 2 di 2184997

Visualizza Tutti

Video

Touching soap films

Anno : 1999

A prova di morte

Anno : 2007

Risultati 2 di 69612

Visualizza Tutti

Audio

Living proof

Autore : Cher

Anno : 2001

Long walk home : music from the Rabbit-Proof Fence

Autore : Gabriel, Peter <1950- >

Anno : 2002

Risultati 2 di 24131

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

Proof theory

Tag

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

Commenti