FERRO, Ruggero

FERRO, Ruggero  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 65 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A theory of sets with the negation of the axiom of infinity 1-gen-1993 Ferro, Ruggero; Baratella, Stefano
Abstraction and objectivity in mathematics 1-gen-2011 Ferro, Ruggero
Alcune considerazioni su infinito, infinitesimi e archimedeicita' suggerite dall'analisi non standard di A. Robinson 1-gen-1984 Ferro, Ruggero
Alcune osservazioni per l'insegnamento della logica nel programma di matematica 1-gen-1993 Ferro, Ruggero
An analysis of Karp's interpolation theorem and the notion of k-consistency property 1-gen-1981 Ferro, Ruggero
An analysis of the notion of natural number. 1-gen-2010 Ferro, Ruggero
Analisi non standard e teorie degli insiemi 1-gen-1984 Ferro, Ruggero
Analyse non standard et theorie des ensembles 1-gen-1985 Ferro, Ruggero
Breve introduzione all'analisi non standard 1-gen-1986 Ferro, Ruggero
Capacità richieste per il formarsi della matematica e conseguenze 1-gen-2001 Ferro, Ruggero
Certezza, oggettività o altro nella scienza? 1-gen-2005 Ferro, Ruggero
Come far cogliere il significato della parola primitiva punto 1-gen-1992 Ferro, Ruggero
Compattezza, categoricita', paradosso di Skolem 1-gen-1996 Ferro, Ruggero
Complessita' e informazione 1-gen-2000 Ferro, Ruggero
Complessità concettuale come emergere delle nozioni 1-gen-2004 Ferro, Ruggero
Conoscere umanamente la conoscenza umana 1-gen-2003 Ferro, Ruggero
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality 1-gen-1976 Ferro, Ruggero
Cos'è la logica matematica: una propostaIntervento alla tavola rotonda "Logica e ..." 1-gen-1989 Ferro, Ruggero
Cos’è la matematica realmente 1-gen-2010 Ferro, Ruggero
Creativita' nella costruzione delle teorie matematiche 1-gen-1996 Ferro, Ruggero