Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità

Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità

Corso di logica. Introduzione al calcolo dei predicati

Corso di logica. Introduzione al calcolo dei predicati

Logiche non classiche. Un'introduzione

Logiche non classiche. Un'introduzione

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

La computabilità, algoritmi, logica, calcolatori

La computabilità, algoritmi, logica, calcolatori