An introduction to abstract mathematical systems - Burton, David M (Addison-Wesley Series in Introductory Mathematics, 1965)