Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 300-320 di 372

QED [+]

fenomenologia della dimostrazione

  • Lolli, Gabriele

La nuova arte di pensare [+]

elementi di logica dell'inferenza induttiva

  • Garbolino, Paolo docente di filosofia, 1955-

Lezioni 1930-1932

  • Wittgenstein, Ludwig

Temi fondamentali della logica moderna [+]

  • Makinson, David Clement <1941->

Incompletezza [+]

la dimostrazione e il paradosso di Kurt Godel

  • Goldstein, Rebecca

Il software dell'universo

saggio sulle leggi di natura

  • Dorato, Mauro

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Logica numerica

  • Barbuto, Emiliano

Enumerabilità, deducibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Elementi di logica matematica

  • Novikov, Peter Sergeevic