Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 300-320 di 373

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Tutti pazzi per Gödel!

la guida completa al Teorema di incompletezza

  • Berto, Francesco <1973->

Logica matematica [+]

strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo <1949- >

Logica numerica

  • Barbuto, Emiliano

Enumerabilità, deducibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Elementi di logica matematica

  • Novikov, Peter Sergeevic

Strutture linguaggi e sintassi

una introduzione

  • Luccio, Fabrizio

La logica formale [+]

  • Bocheński, Joseph M.

Logica

  • Dalla Chiara, Maria Luisa

Manuale di logica [+]

  • Quine, Willard Van Orman