Book

A Formal Background to Mathematics: Volume 2, Parts A and B

by R. Edwards