Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 20-32 di 32

Computabilita' e ricorsivita'

problemi di logica matematica

  • Casari, Ettore, 1933-2019

La matematica della verità [+]

strumenti matematici della semantica logica

  • Casari, Ettore, 1933-2019

Logica [+]

  • Casari, Ettore, 1933-2019

Dalla logica alla metalogica [+]

scritti fondamentali di logica matematica

Computabilità e ricorsività [+]

problemi di logica matematica

  • Casari, , Ettore

La filosofia

Vol. 3, , discipline filosofiche

Atti del Convegno internazionale di storia della logica

San Gimignano, 4-8 dicembre 1982

  • Convegno internazionale di storia della logica

Risultati 20-32 di 32