Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 300-320 di 372

Lineamenti di logica matematica [+]

  • Casari, Ettore <1933-2019>

Il software dell'universo

saggio sulle leggi di natura

  • Dorato, Mauro

Tutti pazzi per Gödel!

la guida completa al Teorema di incompletezza

  • Berto, Francesco <1973->

Incompletezza [+]

la dimostrazione e il paradosso di Kurt Godel

  • Goldstein, Rebecca

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

La logica formale [+]

  • Bocheński, Joseph M.

Logica

  • Dalla Chiara, Maria Luisa

Manuale di logica [+]

  • Quine, Willard Van Orman