D'AGOSTINO, Marcello
D'AGOSTINO, Marcello
Dipartimento di Studi Umanistici
"Ragionare dobbiamo, e spesso"
file con accesso da definire2001 D'Agostino, Marcello; Giorello, Giulio; Veca, Salvatore
A Solution to a Problem of Popper
file con accesso da definire2006 K., Broda; D'Agostino, Marcello; M., Mondadori
Carnap e la verità logica
file con accesso da definire1995 D'Agostino, Marcello; Mondadori, M.
Classical Natural Deduction
file con accesso da definire2005 D'Agostino, Marcello
Deduction
file con accesso da definire2013 D'Agostino, Marcello
Deduzione analitica classica, complessità e significato degli operatori logici
file con accesso da definire1992 D'Agostino, Marcello; Mondadori, M.
Introduzione all'edizione italiana
file con accesso da definire1985 D'Agostino, Marcello
L'impatto di Turing sulla logica
file con accesso da definire2005 D'Agostino, Marcello
La logica e il mito del linguaggio perfetto
file con accesso da definire2014 M., Carapezza; D'Agostino, Marcello
La logica è davvero analitica?
file con accesso da definire1999 D'Agostino, Marcello; Mondadori, M.
Libertà: aspetti teorici ed empirici
file con accesso da definire2004 D'Agostino, Marcello; Dardanoni, V.; Peragine, V.
Tableau Methods for Classical Propositional Logics
file con accesso da definire1999 D'Agostino, Marcello
Tableaux methods for substructural logics
file con accesso da definire1999 D'Agostino, Marcello; Gabbay, D. M.; Broda, K.
Tractable Depth Bounded Logics and the Problem of Logical Omniscience
file con accesso da definire2010 D'Agostino, Marcello
Transformation methods in LSD
file con accesso da definire1999 Broda, K.; D'Agostino, Marcello; Russo, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
"Ragionare dobbiamo, e spesso" | 2001 | D'Agostino, Marcello; Giorello, Giulio; Veca, Salvatore | file con accesso da definire |
A Solution to a Problem of Popper | 2006 | K., Broda; D'Agostino, Marcello; M., Mondadori | file con accesso da definire |
Carnap e la verità logica | 1995 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
Classical Natural Deduction | 2005 | D'Agostino, Marcello | file con accesso da definire |
Deduction | 2013 | D'Agostino, Marcello | file con accesso da definire |
Deduzione analitica classica, complessità e significato degli operatori logici | 1992 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
Introduzione all'edizione italiana | 1985 | D'Agostino, Marcello | file con accesso da definire |
L'impatto di Turing sulla logica | 2005 | D'Agostino, Marcello | file con accesso da definire |
La logica e il mito del linguaggio perfetto | 2014 | M., Carapezza; D'Agostino, Marcello | file con accesso da definire |
La logica è davvero analitica? | 1999 | D'Agostino, Marcello; Mondadori, M. | file con accesso da definire |
Libertà: aspetti teorici ed empirici | 2004 | D'Agostino, Marcello; Dardanoni, V.; Peragine, V. | file con accesso da definire |
Tableau Methods for Classical Propositional Logics | 1999 | D'Agostino, Marcello | file con accesso da definire |
Tableaux methods for substructural logics | 1999 | D'Agostino, Marcello; Gabbay, D. M.; Broda, K. | file con accesso da definire |
Tractable Depth Bounded Logics and the Problem of Logical Omniscience | 2010 | D'Agostino, Marcello | file con accesso da definire |
Transformation methods in LSD | 1999 | Broda, K.; D'Agostino, Marcello; Russo, A. | file con accesso da definire |