Logic in elementary mathematics - Exner Robert, M.; Rosskopf Myron, F. (Mcgraw hill, 1959)
English