Autore: Dario Palladino
La computabilità, algoritmi, logica, calcolatori
Marcello Frixione - Dario Palladino - Edizioni Carocci, 2011
italian text

Logiche non classiche. Un'introduzione
Palladino Dario - Palladino Claudia - Edizioni Carocci - La Nuova Italia, 2007
italian text

Corso di logica. Introduzione elementare al calcolo dei predicati
Dario Palladino - Edizioni Carocci - Riviste, 2021
italian text

Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
Frixione Marcello. Palladino Dario - Edizioni Carocci - Riviste, 2004
italian text

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Palladino Dario - Edizioni Carocci - Riviste, 2004
italian text

top




