Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-13 di 13

Scritti scelti

1933-1964

  • Gödel, Kurt

Capire una dimostrazione

il ruolo della logica nella matematica

  • Lolli, Gabriele

Filosofia della matematica

L'eredità del Novecento

  • Lolli, Gabriele

  • Lolli, Gabriele

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Teoria assiomatica degli insiemi [+]

insiemi costruibili e modelli booleani

  • Lolli, Gabriele

Opere

1929-1936

  • Godel, Kurt

Risultati 1-13 di 13