editore
Corso di logica
Introduzione elementare al calcolo dei predicati
A cura di Marcello FrixioneLo studio della logica a livello universitario è [...]
Edizione: Aprile 2021Dario Palladino
Ha insegnato Logica e Logica matematica all’Università degli Studi di Genova.
Corso di logica
A cura di Marcello Frixione
La computabilità: algoritmi, logica, calcolatori
La teoria della computabilità è un settore della [...]
Edizione: Marzo 2011
Le geometrie non euclidee
Nell’Ottocento sono state elaborate le geometrie iperbolica ed [...]
Edizione: Settembre 2008
Logiche non classiche Un'introduzione
Il libro costituisce un’esposizione di varie logiche, estensioni [...]
Edizione: Marzo 2007
Breve dizionario di logica
La logica è una disciplina le cui origini [...]
Edizione: Novembre 2005
Funzioni, macchine, algoritmi Introduzione alla teoria della computabilità
La teoria della computabilità è un settore della [...]
Edizione: Maggio 2004