WordNet: looginen todiste

Sanatista
proof of a logical theorem



looginen todiste