Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 65
Titolo Data di pubblicazione Autore(i) File
Limits to some interpolation theorems 1-gen-1975 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
Interpolation theorems for L2+k,k 1-gen-1978 Ferro, Ruggero
w-satisfiability, w-consistency property, and the downward Lowenheim Skolem theorem for L2+k,k 1-gen-1981 Ferro, Ruggero
Il problema dell'introduzione di elementi di logica matematica nelle scuole secondarie 1-gen-1981 Ferro, Ruggero
An analysis of Karp's interpolation theorem and the notion of k-consistency property 1-gen-1981 Ferro, Ruggero
Seq-consistency property and interpolation theorems 1-gen-1983 Ferro, Ruggero
Analisi non standard e teorie degli insiemi 1-gen-1984 Ferro, Ruggero
Una nota sulla nozione di molto maggiore 1-gen-1984 Ferro, Ruggero
Alcune considerazioni su infinito, infinitesimi e archimedeicita' suggerite dall'analisi non standard di A. Robinson 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
Software ed audiovisivi per l'insegnamento della matematica 1-gen-1987 Ferro, Ruggero
ω-soddisfacibilità e teoremi di interpolazione 1-gen-1987 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
Cos'è la logica matematica: una propostaIntervento alla tavola rotonda "Logica e ..." 1-gen-1989 Ferro, Ruggero
Videodisco interattivo e didattica della matematica 1-gen-1989 Ferro, Ruggero
Strong Maehara and Takeuti type interpolation theorems for L2+κ,κ 1-gen-1991 Ferro, Ruggero
Sussidi tecnologici in vari momenti della didattica della matematica 1-gen-1992 Ferro, Ruggero
Teoria degli insiemi finiti 1-gen-1992 Baratella, Stefano; Ferro, Ruggero
Mostrati risultati da 1 a 20 di 65
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile