Set theory and logic. - Stoll, Robert R.