TY - SER TI - JOURNAL OF SYMBOLIC LOGIC SN - 0022-4812 PY - 1936/// CY - URBANA,IL UK PB - ASSOCIATION FOR SYMBOLIC LOGIC, INC. ER -