TY - BOOK AU - Stoll Robert R TI - Sets, logic and axiomatic theories U1 - B25, N4 PY - 1994/// KW - Higher algebra ER -