MORICONI, ENRICO Statistiche
MORICONI, ENRICO
DIPARTIMENTO DI CIVILTA' E FORME DEL SAPERE
Argomenti di logica
2010-01-01 Marletti, Carlo; Moriconi, Enrico; Mariani, M.
Coerenza e completezza delle teorie elementari. La matetaeoria dei sistemi formali nella scuola hilbertiana
1984-01-01 Moriconi, Enrico
Computabilità
2001-01-01 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Computabilità.
2001-01-01 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Concezioni della Logica
2011-01-01 Moriconi, Enrico
Di variabili e assunzioni
2005-01-01 Moriconi, Enrico
Dimostrazioni e significato. Michael Dummett – Dag Prawitz – Per Martin-Löf.
1993-01-01 Moriconi, Enrico
Discorso e Significato.
1994-01-01 Moriconi, Enrico
Dummett e l’Anti-Realismo
1997-01-01 Moriconi, Enrico
EARLY STRUCTURAL REASONING. GENTZEN 1932
2015-01-01 Moriconi, Enrico
Ennio De Giorgi
2014-01-01 Moriconi, Enrico
Esistenza e costruzione. Introduzione all’intuizionismo
1988-01-01 Moriconi, Enrico
Essay Review of R. Kahle, M. Rathjen, Gentzen's Centenary,. The Quest for Consistency, Springer, Berlin 2015
2017-01-01 Moriconi, Enrico
Etchemendy on logical truth
1997-01-01 Moriconi, Enrico
Filosofia della matematica
2003-01-01 Moriconi, Enrico
Goedel's Completeness Theorem: Some History, Some Philosophy
2006-01-01 Moriconi, Enrico
How far to extend the Curry-Howard Isomorphism?
1999-01-01 Moriconi, Enrico
I teoremi di Goedel e la fine del fondazionalismo
2004-01-01 Moriconi, Enrico
I Teoremi di Gödel
2006-01-01 Moriconi, Enrico
Il "Neopositivismo logico" venticinque anni dopo
2003-01-01 Moriconi, Enrico