Galvan, Sergio
Galvan, Sergio
A Note on Gödel’s First Disjunct Formalised in DTK System
2024 Corradini, Antonella; Galvan, Sergio
Bayesian Practical Inference
2023 Corradini, Antonella; Galvan, Sergio
A Classical Logic of Existence and Essence
2020 Giordani, Alessandro; Galvan, Sergio
Essentialism and Forms of Necessity
2018 Corradini, Antonella; Galvan, Sergio
Il problema della conoscenza matematica
2016 Galvan, Sergio; De Florio, Ciro
TEORIA CLASSICA DEI POSSIBILI. POSSIBILISMO CLASSICO E SUO FONDAMENTO ATTUALISTICO
2016 Galvan, Sergio
Dall'ontologia classica all'ontologia contemporanea
2015 Galvan, Sergio
L'Hauptsatz di Gentzen
2015 Galvan, Sergio
Quantificatori ed Esistenza
2015 Galvan, Sergio
Il problema della verità delle proposizioni godeliane
2013 Galvan, Sergio
Logic of Existence, Ontological Frames, Leibniz's and Goedel's Ontological Proofs
2012 Galvan, Sergio
Logic of Existence, Ontological Frames, Leibniz's and Gödel's ontolological Proofs
2012 Galvan, Sergio
Logica
2012 Galvan, Sergio
Logica
2012 Galvan, Sergio
The Role of Metaphysics between Science and Faith
2012 Galvan, Sergio; De Florio, Ciro
Two Types of Ontological Frame and Gödel's Ontological Proof
2012 Galvan, Sergio
Verità, realismo e antirealismo nella scienza e nella teologia
2012 Galvan, Sergio
Finitist Objects
2011 Galvan, Sergio
L'ilemorfismo nella filosofia contemporanea. Introduzione
2011 Galvan, Sergio
Logica deontica e sue applicazioni
2011 Galvan, Sergio