Önermeler mantığındaki biçimsel kanıtlar

"Önermeler mantığındaki biçimsel kanıtlar. David Pierce. Aralık , saat :    . Bu 
yazının ana kaynakları, Burris'in [  ] ve Nesin'in [  ] kitapları ve ..."

http://mat.msgsu.edu.tr/~dpierce/Dersler/113/2011/Mantik/mantik.pdf