Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-8 di 8

Teoria assiomatica degli insiemi [+]

insiemi costruibili e modelli booleani

  • Lolli, Gabriele

QED

fenomenologia della dimostrazione

  • Lolli, Gabriele

Opere.

Volume 2, , 1938-1974

  • Godel, Kurt

La Macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Risultati 1-8 di 8