Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-9 di 9

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Capire una dimostrazione

il ruolo della logica nella matematica

  • Lolli, Gabriele

Scritti scelti

1933-1964

  • Gödel, Kurt

Cos'è la logica matematica

filosofia della logica

  • Lolli, Gabriele

Teoria assiomatica degli insiemi

insiemi costruibili e modelli booleani

  • Lolli, Gabriele

Risultati 1-9 di 9