Versie van 22 dec 2010 04:18 bewerken Alexbot (overleg \| bijdragen) 99.350 bewerkingen k r2.5.2) (robot Erbij: ko:건전성 정리 ← Oudere bewerking		Versie van 1 jul 2011 15:42 bewerken ongedaan maken ZéroBot (overleg \| bijdragen) 295.212 bewerkingen k r2.7.1) (Robot: toegevoegd: ca:Solidesa Nieuwere bewerking →
Regel 21: [[Categorie:Logica]] [[ca:Solidesa]] [[de:Korrektheit (Logik)]] [[en:Soundness]]

Correctheid (logica): verschil tussen versies