Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 341

ReLog

regole logiche nelle dimostrazioni matematiche : le origini e lo sviluppo della logica nella fondazione delle teorie formali

  • Mangani, Nello

Il riso di Talete

matematica e umorismo

  • Lolli, Gabriele

Mathematical logic

  • Ebbinghaus, Heinz Dieter

Scritti scelti [+]

1933-1964

  • Gödel, Kurt

Atti del Congresso nazionale di logica

Montecatini Terme, 1-5 ottobre 1979

  • Congresso nazionale di logica<1979; Montecatini Terme>

Alle origini della nuova logica

carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri

  • Frege, Gottleb

La nuova logica

  • Fuchs, Walter R.

Il pensiero matematico [+]

  • Russell Stabler, Edward

Logica dimostrativa

  • Saccheri, Girolamo

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Risultati 1-20 di 341