Velleman,Daniel.
Kanıt nasıl yapılır : Bir yapısal yaklaşım/
Velleman,Daniel ; Daniel Velleman; çev. Mehmet Terziler, Tahsin Öner.
- 384 sayfa ; 24 cm.
- Palme Yayınları ; 493. .
- Palme Yayınları ; 493. .
Dizin var. Kaynakça var.
9786055829032
Matematiksel analiz--Temeller.
Mathematical analysis--Foundations.
Mantık, Sembolik ve matematiksel.
Proof theory.
Logic, Symbolic and mathematical.
Proof, mathematics.
Kanıt, matematik.
Kanıt kuramı.
QA9.54.B87 / V45 2008