proof-theory

Problem-solving strategies for proof theory in mathematical logic