Questo volume si rivolge a tutti coloro che si accostano alla logica per la prima volta, indipendentemente dal loro ambito d'interesse. Dopo una parte introduttiva dedicata allo studio informale della struttura delle argomentazioni, nei capitoli successivi si esaminano i maggiori sistemi di logica f…
Il titolo di questo libro richiede una spiegazione: non si vuole soltanto sottolineare la destinazione del testo (i corsi di Logica matematica nelle facoltà di Informatica), ma soprattutto metterne in evidenza la particolare impostazione, che lo distingue dai numerosi manuali di logica matematica d…
