La logica è una disciplina le cui origini risalgono all'antichità e che si è molto sviluppata negli ultimi decenni anche per le sempre più numerose applicazioni nelle discipline scientifiche e umanistiche. Il dizionario, comprendente più di 300 lemmi, si rivolge ad un pubblico non specializzato e ha lo scopo di illustrare i concetti fondamentali della disciplina. Si propone inoltre di far conoscere i più importanti teoremi relativi alle teorie formali e le caratteristiche di alcuni sistemi logici che estendono o sono alternativi a quelli classici.
Nata nel corso degli anni Trenta del secolo scorso nel contesto delle ricerche sui fondamenti della matematica, con lo sviluppo dei calcolatori digitali la teoria della computabilità ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Attraverso di essa, la sua influenza culturale si è estesa ad ambiti quali l'intelligenza artificiale, le scienze cognitive, la linguistica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilità ad un pubblico non specializzato.