Title: A Formal Background to Higher Mathematics: Volume 1, Parts A and B