Between philosophy and mathematics : General trends in dissemination, teaching, and research on mathematical logic in 1930s China