Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-9 di 9

Teoria della dimostrazione [+]

normalizzazioni e assegnazioni di numeeri ordinali

  • Cellucci, Carlo

Elementi di logica matematica

  • Novikov, Petr Sergeevič

Logiche moderne

aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni

Il paradiso di Cantor

il dibattito sui fondamenti della teoria degli insiemi

Elementi di logica matematica [+]

  • Novikov, Pëtr Sergeevič

Elementi di logica matematica

  • Novikov, Peter Sergeevic

Risultati 1-9 di 9