Introduction to mathematics - Kleene, Stephen Cole (University series in higher mathematics, 1952)