An introduction to abstract mathematical systems. - Burton, David M. (Addison-Wesley series in introductory mathematics, 1965)