introduction to formal logic
Pick next reading from teach yourself logic
…
some sort of study of homotopy type theory