#mathematical logic #proof theory #set theory #formal methods #foundations of computer science #discrete mathematics