MORICONI, ENRICO Statistiche

MORICONI, ENRICO  

DIPARTIMENTO DI CIVILTA' E FORME DEL SAPERE  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
Argomenti di logica 1-gen-2010 Marletti, Carlo; Moriconi, Enrico; Mariani, M.
Coerenza e completezza delle teorie elementari. La matetaeoria dei sistemi formali nella scuola hilbertiana 1-gen-1984 Moriconi, Enrico
Computabilità 1-gen-2001 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Computabilità. 1-gen-2001 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Concezioni della Logica 1-gen-2011 Moriconi, Enrico
Di variabili e assunzioni 1-gen-2005 Moriconi, Enrico
Dimostrazioni e significato. Michael Dummett – Dag Prawitz – Per Martin-Löf. 1-gen-1993 Moriconi, Enrico
Discorso e Significato. 1-gen-1994 Moriconi, Enrico
Dummett e l’Anti-Realismo 1-gen-1997 Moriconi, Enrico
EARLY STRUCTURAL REASONING. GENTZEN 1932 1-gen-2015 Moriconi, Enrico
Ennio De Giorgi 1-gen-2014 Moriconi, Enrico
Esistenza e costruzione. Introduzione all’intuizionismo 1-gen-1988 Moriconi, Enrico
Essay Review of R. Kahle, M. Rathjen, Gentzen's Centenary,. The Quest for Consistency, Springer, Berlin 2015 1-gen-2017 Moriconi, Enrico
Etchemendy on logical truth 1-gen-1997 Moriconi, Enrico
Filosofia della matematica 1-gen-2003 Moriconi, Enrico
Goedel's Completeness Theorem: Some History, Some Philosophy 1-gen-2006 Moriconi, Enrico
How far to extend the Curry-Howard Isomorphism? 1-gen-1999 Moriconi, Enrico
Il quadrato logico aristotelico nell'interpretazione di Leibniz 1-gen-2015 Moriconi, Enrico; Mariani, Mauro
L'incompletezza dell'aritmetica 1-gen-2001 Moriconi, Enrico
La verità in matematica 1-gen-2014 Moriconi, Enrico