L'Hauptsatz di Gentzen

7,00 €

Autore: Sergio Galvan
Editore: EDUCatt Universit? Cattolica
Presente in: Logica matematica
In commercio dal: 08-07-2015
Anno edizione: 2015

Riferimento: 9788867808755

Condizione: Nuovo arrivo

Quantità

Non disponibile

Questo titolo al momento non è disponibile.
Contattaci per maggiori informazioni

Per essere informato quando tornerà disponibile, inserisci la tua mail qui sotto.

Descrizione

Il volume di Sergio Galvan, docente di Logica e Ontologia analitica presso l'Università Cattolica del Sacro Cuore, espone la dimostrazione del teorema di eliminazione del Cut (Hauptsatz) dimostrato da Gerhard Gentzen nelle 'Untersuchungen über das logische Schliessen'.

Recensioni

Ancora nessuna recensione da parte degli utenti.

Più venduti

SOCIOLOGIA DEI CONSUMI TEORIE E PRATICHE

SOCIOLOGIA DEI CONSUMI 21-22

INTRODUZIONE ALLA GRAMMATICA GIAPPONESE

COMUNICAZIONE D'IMPRESA

L'Hauptsatz di Gentzen

Recensioni

Contatto

Prodotti

Librerie Lumi

I negozi