Foundations

Jeremy Avigad

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.