Logica a fumetti è un libro di introduzione alla logica formale. La logica formale è una disciplina di dimensioni ampie, in cui rientrano tutti gli studi dei sistemi di deduzione di proposizioni. Le differenze tra i sistemi di logica dipende dal numero di connettivi considerati, dagli elementi semplici che costituiscono le proposizioni. La logica classica proposizionale ha come elementi semplici le proposizioni atomiche indicate con lettere minuscole e ha come connettivi gli operatori classici (e, o, non…). La logica predicativa considera anche predicati (indicati in genere con lettera maiuscola), termini singolari che stanno per entità di un dominio di interpretazione, gli operatori classici della logica proposizionale e i quantificatori (universale ed esistenziale). La logica modale include operatori modali di necessità e possibilità. E così via. Logica a fumetti introduce a molti tipi di logica mediante uno stile, appunto, fumettistico.
Il gioco del go ha appassionato milioni di giocatori soprattutto nell’area estremorientale, ma sta lentamente penetrando anche in occidente, in cui il gioco degli scacchi continua a regnare quasi incontrastato tra i giochi di strategia da tavolo a due giocatori e in generale tra i “giochi della mente”.