todistusteoria

Noun

 * 1) proof theory