Inglésof a proof system: such that any semantically valid formula is also provable
Polacozupełny
English translator: Spanish Hungarian zupełny Eesti sõnaraamat Español Traductor Svenska Översättare