Correctheid (logica): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: sv:Sund (logik) |
k r2.5.2) (robot Erbij: ko:건전성 정리 |
||
Regel 28:
[[it:Correttezza (logica matematica)]]
[[ja:健全性]]
[[ko:건전성 정리]]
[[mk:Правилност]]
[[pt:Correção]]
|