Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 300-320 di 458

Il computer di Ockham [+]

genesi e struttura della Rivoluzione Scientifica

  • Borzacchini, Luigi

Logica da zero a Gödel [+]

  • Berto, Francesco, 1973-

Digit.C [+]

il calcolo con le Logos e con il Lotus

  • Del Fante, A.

Analisi matematica della logica

saggio di un calcolo del ragionamento deduttivo

  • Boole, George

Esercizi di logica [+]

  • Cavagnetto, Stefano

Gödel, Escher, Bach: un'Eterna Ghirlanda Brillante [+]

una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

  • Hofstadter, Douglas R.

Théorie des fonctions abéliennes [+]

  • Briot, Charles Auguste Albert, 1817-1882

Teoria della dimostrazione [+]

normalizzazioni e assegnazioni di numeri ordinali

  • Cellucci, Carlo