Describir: The metamathematics of algebraic systems, collected papers: 1936-1967 /