ricerca
avanzata

Sergio Galvan eBooks

eBooks di Sergio Galvan

L’Hauptsatz di Gentzen. E-book. Formato PDF

L’Hauptsatz di Gentzen. E-book. Formato PDF

Sergio Galvan 
edizioni EDUCatt Università Cattolica collana , 2015

Nelle pagine seguenti viene esposta analiticamente la dimostrazione del teorema di eliminazione del Cut (Hauptsatz) dimostrato da G. Gentzen nelle sue “Untersuchungen über das logische Schliessen,” Mathematische Zeitschrift 39 (1935), pp. 176-210, pp. 405-431, traduzione in inglese in M.E. Szabo (a cura di), The Collected...

download immediato
€ 1,99
Ontologia del possibile. E-book. Formato PDF

Ontologia del possibile. E-book. Formato PDF

Sergio Galvan 
edizioni EDUCatt Università Cattolica collana , 2014

Il presente lavoro intende trattare il tema generale della possibilità, attenendosi saldamente ai principi di ontologia analitica e alla prospettiva della ricerca logico-filosofica contemporanea, ma con lo sguardo rivolto alla tradizione ontologica classica. Gli obiettivi sono obiettivi di ontologia sistematica, anche...

download immediato
€ 3,49
Sistemi dell'Aritmetica: da Q a PA. E-book. Formato PDF

Sistemi dell'Aritmetica: da Q a PA. E-book. Formato PDF

Sergio Galvan 
edizioni EDUCatt Università Cattolica collana , 2014

download immediato
€ 5,49
Logica dei predicati. E-book. Formato PDF

Logica dei predicati. E-book. Formato PDF

Sergio Galvan 
edizioni EDUCatt Università Cattolica collana , 2014

download immediato
€ 3,49