Mathematical systems finite and infinite. - Hackworth, Robert D. (Holt, Reinehart and Winston, 1969)