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