Filtra i risultati

Tipologia

Provincia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 115

Introduzione alla logica

  • Casari, Ettore <1933-2019>

Teoria assiomatica degli insiemi

Insiemi costruibili e modelli booleani

  • Lolli, Gabriele

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Dalla logica alla metalogica

scritti fondamentali di logica matematica

  • Casari, Ettore <1933-2019>

Scritti di logica

  • Peirce, Charles Sanders

Lineamenti di logica matematica [+]

  • Casari, Ettore <1933-2019>

Logica [+]

  • Varzi, Achille

Scritti scelti

1933-1964

  • Gödel, Kurt

Tutti pazzi per Godel [+]

la guida completa al teorema dell'incompletezza

  • Berto, Francesco

Matematica e Logo

Obiettivi, metodi, contenuti

  • Oliva, Paolo

Teoria degli insiemi

  • Lipschutz, Seymour

La logica matematica

  • Bochenski, Joseph M.

Filosofia della matematica

L'eredità del Novecento

  • Lolli, Gabriele

Risultati 1-20 di 115