theory of proof
todistusteoria
bevisteori
logic
logik
logiikka