Add "Constructive mathematics and computer programming", "Infinite terms
and a system of natural deduction", as well as some missing
items.