Большой англо-русский и русско-английский словарь
proof theory, theor of proof
Русско-украинский политехнический словарь
тео́рія дове́дення
Русско-украинский политехнический словарь
тео́рія дове́дення
«теория доказательства»
теория доказательства в энциклопедиях