Sergio Galvan profile picture

Sergio Galvan

Is this your author profile? Create an account to claim and customize it!

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Analytic Philosophy Without Naturalism
Introduzione ai teoremi di incompletezza
Analytic Philosophy Without Naturalism
L'Hauptsatz di Gentzen
Logiche intensionali sistemi proposizionali di logica modale, deontica, epistemica
Logica
Non contraddizione e terzo escluso le regole della negazione nella logica classica intuizionistica e minimale
An Introduction to Proof Theory Normalization, Cut-elimination, and Consistency Proofs
Ontologia del Possibile