証明論

しょうめい・ろんshōmei·ron

N.
Logik Beweistheorie f f.