03-03 History of mathematical logic and foundations [Consider also classification numbers pertaining to Section 01-XX] 4269