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".
- Autore: Sergio Galvan
- Editore:EDUCatt Università Cattolica
- Anno edizione:2015
- In commercio dal:8 luglio 2015
Tipo:Libro universitario
Pagine:124 p., Brossura
EAN:9788867808755
