Conception de développement humain centrée sur les capabilités.
Introduction accessible aux grandes questions de la cosmologie moderne.
Analyse des mécanismes de reproduction sociale à travers les goûts et pratiques culturelles.
Développement formel de programmes corrects par raffinement.