Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 280-300 di 352

Logica e geometria [+]

per docenti di matematica e fisica del biennio della scuola secondaria superiore : aggiornamento

QED [+]

fenomenologia della dimostrazione

  • Lolli, Gabriele

La nuova arte di pensare [+]

elementi di logica dell'inferenza induttiva

  • Garbolino, Paolo docente di filosofia, 1955-

Elementi di logica matematica [+]

  • Novikov, Pëtr Sergeevič

Matematica dell'incerto [+]

un linguaggio per capire la realtà

  • Lombardo, Enzo, 1938-2005

Il software dell'universo

saggio sulle leggi di natura

  • Dorato, Mauro

Tutti pazzi per Gödel!

la guida completa al Teorema di incompletezza

  • Berto, Francesco <1973->

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Logica matematica [+]

strutture, rappresentazioni, deduzioni

  • Manca, Vincenzo <1949- >

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