Il tuo browser non supporta JavaScript!
Vai al contenuto della pagina

Libri di Sergio Galvan

Biografia e opere di Sergio Galvan

L'Hauptsatz di Gentzen

Libro: Libro in brossura
anno edizione: 2015
pagine: 124
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".
7,00 6,65

Ontologia del possibile

Libro: Libro in brossura
anno edizione: 2009
pagine: 132
7,00 6,65

Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale

Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale

Libro
editore: Franco Angeli
anno edizione: 2008
pagine: 160
Il volume è dedicato alla presentazione del sistema proposizionale classico, di quello intuizionistico e di quello minimale, vale a dire dei tre sistemi che si propongono di caratterizzare in modo diverso e, per certi aspetti in termini di contrasto, la nozione di negazione. Data la centralità dei principi di non contraddizione e del terzo escluso nella trattazione di tutti e tre i sistemi, il volume contiene un esame logico dettagliato di tali principi, del loro significato, dei loro rapporti e delle rispettive proprietà.
19,00

Sistemi dell'aritmetica da Q a PA

Libro: Libro in brossura
anno edizione: 2007
pagine: 392
20,00 19,00

Inserire il codice per il download.

Inserire il codice per attivare il servizio.