CATALOGO DEI PRODOTTI DELLA RICERCA

FERRO, Ruggero

FERRO, Ruggero  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.033 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
An analysis of Karp's interpolation theorem and the notion of k-consistency property 1-gen-1981 Ferro, Ruggero
Breve introduzione all'analisi non standard 1-gen-1986 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
Dimostrare in matematica. 1 1-gen-2006 Ferro, Ruggero
Dimostrare in matematica. 2 1-gen-2007 Ferro, Ruggero
Discreto e continuo. 1 1-gen-2010 Ferro, Ruggero
Discreto e continuo. 2 1-gen-2010 Ferro, Ruggero
Discreto e continuo. 3 1-gen-2011 Ferro, Ruggero
Discreto e continuo. 4 1-gen-2011 Ferro, Ruggero
Il docente di qualita' 1-gen-2005 Ferro, Ruggero
Interpolation theorems for L2+k,k 1-gen-1978 Ferro, Ruggero
La logica dei logici 1-gen-1993 Ferro, Ruggero
Lambda-satisfiability, lambda-consistency propertuìy, and the downward Loewnheim - Skolem theorem for Lk,k with k a strong limit cardinal of cofinality lambda 1-gen-1988 Ferro, Ruggero
Le definizioni in matematica e conseguenze per una visione della matematic. 1 1-gen-2007 Ferro, Ruggero
Le definizioni in matematica e conseguenze per una visione della matematic. 2 1-gen-2007 Ferro, Ruggero
Limits to some interpolation theorems 1-gen-1975 Ferro, Ruggero
Logica e teoria degli insiemi. Seconda parte: Una proposta costruttiva per la teoria degli insiemi 1-gen-1993 Ferro, Ruggero
Non Standard Regular Finite Set Theory 1-gen-1995 Baratella, Stefano; Ferro, Ruggero
Parlare in matematica e di matematica ... nell'insegnamento apprendimento della matematica; intervento alla tavola rotonda 1-gen-2011 Ferro, Ruggero