Term Gallery logo

Portuguese
derivação formal
English
formal proof
Spanish
prueba formal

Математическое доказательство.

formal proof