Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 372

Completezza, compattezza e indecidibilità

un' introduzione alla logica matematica

  • Manaster, Alfred B.

Il primo libro di logica

introduzione ai metodi della logica contemporanea

  • Bencivenga, Ermanno

Proprietà e operazioni [+]

Teorie non estensionali delle classi

  • Cantini, Andrea

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

  • Eastaway, Robert

Il pensiero matematico [+]

  • Russell Stabler, Edward

Logica dimostrativa

  • Saccheri, Girolamo

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Algoritmi e linguaggi

un' introduzione

  • Codenotti, Bruno

Alle origini della nuova logica

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

  • Frege, Gottleb

Scritti scelti [+]

1933-1964

  • Gödel, Kurt

Risultati 1-20 di 372