Questo libro si propone di raccontare in forma narrativa la storia del nascere e svilupparsi della vita. Partendo dal Big Bang e soffermandosi sulla logica con la quale si formano gli atomi, e poi le molecole, le cellule... I protagonisti del racconto sono dunque atomi, molecole, biopolimeri, membrane, cellule, organismi e specie. Perciò si evitano formule e non si citano scoperte, date e riferimenti storici. Il che, però, non significa che non vengano esposte tesi e punti di vista maturati nel corso di ricerche scientifiche decennali. Viene descritta la struttura dei biopolimeri, si illustrano i meccanismi con cui i biopolimeri RNA e DNA si replicano, spiegando come la loro struttura sia strettamente collegata alla replicazione, origine della vita. Nel capitolo finale si presenta l'evoluzione, motore sottostante al lungo cammino che dai primi biopolimeri porta a noi. Per concludere con il ruolo cruciale del caso nel dispiegarsi della vita. Gli autori sono uno scienziato e un letterato: Vincenzo Manca, matematico-informatico, e Marco Santagata, stimato petrarchista e dantista, nonché romanziere. Che riescono nel tentativo ambizioso di trasmettere, con una narrazione semplice, le idee di base sulla vita in forma non "scientificamente confezionata". Evitando, cioè, quel linguaggio cosi essenziale nella comunicazione scientifica, ma che e spesso una barriera quando si vuole parlare ai non specialisti.
Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo "Strutture Rappresentazioni Deduzioni" vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono entità di riferimento del linguaggio logico; le deduzioni sono gli strumenti con cui si elaborano le formule per "calcolarne" i rapporti di conseguenza; le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Qui il lettore è guidato con esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati.