TY - BOOK AU - Velleman,Daniel. TI - Kanıt nasıl yapılır: Bir yapısal yaklaşım T2 - Palme Yayınları SN - 9786055829032 AV - QA9.54.B87 V45 2008 PY - 2008/// CY - Ankara PB - Palme Yayınları KW - Matematiksel analiz--Temeller KW - Mathematical analysis--Foundations KW - Mantık, Sembolik ve matematiksel KW - Proof theory KW - Logic, Symbolic and mathematical KW - Proof, mathematics KW - Kanıt, matematik KW - Kanıt kuramı N1 - Dizin var; Kaynakça var ER -