Revisi per 2 Desember 2008 13.36 sunting Bennylin (bicara \| kontrib) Pengurus antarmuka, Pengurus 255.180 suntingan k ~kat ← Revisi sebelumnya		Revisi per 2 Desember 2008 13.37 sunting balikkan Bennylin (bicara \| kontrib) Pengurus antarmuka, Pengurus 255.180 suntingan kTidak ada ringkasan suntingan Revisi selanjutnya →
Baris 68: * [[Soundness]] ~~[[Kategori:Logika]]~~ [[Kategori:Pembuktian]] [[Kategori:Filsafat]]

Pembuktian melalui deduksi: Perbedaan antara revisi