Sets, logic, and axiomatic theories. - Stoll Robert R (1974)