03-03 History of mathematical logic and foundations [Consider also classification numbers from Section 01-XX] 4712