proof theory . Filosoofia terminibaas. Estonian Language Institute, Sõnaveeb 2026. https://sonaveeb.ee/search/unif//fil/proof%20theory/1/eng (14.07.2026)
proof theory . Matemaatika terminibaas. Estonian Language Institute, Sõnaveeb 2026. https://sonaveeb.ee/search/unif//mat/proof%20theory/1/eng (14.07.2026)