Questo sito usa cookie di analytics per raccogliere dati in forma aggregata e cookie di terze parti per migliorare l'esperienza utente.
Leggi l'Informativa Cookie Policy completa.

Sei in possesso di una Carta del Docente o di una Carta della Cultura? Scopri come usarli su Maremagnum!

L'Hauptsatz di Gentzen

Libri antichi e moderni
Sergio Galvan
EDUCatt Università Cattolica, 2015
7,00 €
Parla con il Libraio

Metodi di Pagamento

Dettagli

  • Anno di pubblicazione
  • 2015
  • ISBN
  • 9788867808755
  • Autore
  • Sergio Galvan
  • Pagine
  • 124
  • Editori
  • EDUCatt Università Cattolica
  • Soggetto
  • Logica matematica, Logica matematica
  • Stato di conservazione
  • Nuovo
  • Lingue
  • Italiano
  • Legatura
  • Brossura
  • Condizioni
  • Nuovo

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".

Logo Maremagnum it