Sets, logic and axiomatic theories - Stoll Robert R (1994)
Keywords: Higher algebra