Seguici su

Cerca

Torna Indietro

Beweistheorie

Schütte, Kurt

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Beweistheorie

Nomi

[Autore] Schütte, Kurt

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Soggetto BNI

Teoria della dimostrazione

Descrizione

Beweistheorie / von Kurt Schutte

Descrizione Fisica

X, 356 p. ; 24 cm.

Data

1960

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

TEDESCO

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\SBL\0009257

Link Risorse

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

Tag

Immagini

Studi e schizzi

Autore : Basile, Ernesto <1857-1932>

Anno : 1909

Contro la logica aziendale; per il salario e l'occupazione

Autore : Sinistra proletaria <Orani>

Anno : 1977

Risultati 2 di 21689

Visualizza Tutti

Testi

Vollstandige Systeme modaler und intuitionistischer Logik

Autore : Schütte, Kurt

Anno : 1968

Proof theory

Autore : Schütte, Kurt

Anno : 1977

Risultati 2 di 2184906

Visualizza Tutti

Video

4: La scienza della logica

Anno : 2006

Piergiorgio Odifreddi racconta Russell e la Logica del '900

Anno : 2009

Risultati 2 di 69611

Visualizza Tutti

Audio

Tristan und Isolde

Autore : Wagner, Richard <1813-1883>

Anno : 1982

Madama Butterfly

Autore : Puccini, Giacomo <1858-1924>

Anno : 1988

Risultati 2 di 24089

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

Beweistheorie

Tag

Studi e schizzi

Contro la logica aziendale; per il salario e l'occupazione

Vollstandige Systeme modaler und intuitionistischer Logik

Proof theory

4: La scienza della logica

Piergiorgio Odifreddi racconta Russell e la Logica del '900

Tristan und Isolde

Madama Butterfly

Commenti