Where can I find the modern proof of the prime number theorem? Terence Tao described a modern proof of the prime number theorem in a lecture in UCLA, which is stated in wiki(enter link description here).

From wiki: In a lecture on prime numbers for a general audience, Fields medalist Terence Tao described one approach to proving the prime number theorem in poetic terms: listening to the "music" of the primes. We start with a "sound wave" that is "noisy" at the prime numbers and silent at other numbers; this is the von Mangoldt function. Then we analyze its notes or frequencies by subjecting it to a process akin to Fourier transform; this is the Mellin transform. Then we prove, and this is the hard part, that certain "notes" cannot occur in this music. This exclusion of certain notes leads to the statement of the prime number theorem. According to Tao, this proof yields much deeper insights into the distribution of the primes than the "elementary" proofs discussed below.

I wonder where can I find the proof? Anyone give me a reference?
 A: The outline of this proof was the subject of Riemann's seminal 1859 paper, however it wasn't fully proven until Hadamard and De La Vallee Poussin in 1896.  The prime number theorem is considered to be the pinnacle of 19th century number theory, and Riemmans outline motivated a lot of study in complex analysis.  
One of my favorite books on analytic number theory is Montgomery and Vaughn's Multiplicative Number Theory I: Classical Theory.  Try to see if you can find it in your library.
Chapter 6 deals entirely with the proof of the quantitative prime number theorem, and Chapter 5 provides some background on the Mellin transform, and Perron's formula.  Of particular importance is the quantitative Perron's formula.
A: Personally, I prefer the proof presented here, which is a version of Newman's proof.
A: There is a complete proof in "Newman's Short Proof of the Prime Number Theorem" by Zagier.
Terry Tao's notes on multiplicative number theory also contain a complete proof of the PNT, including connections to Dirichlet series, the Riemann conjecture, etc.
By the way, both references use a streamlined version of Hadamard's argument that the Riemann's zeta function has not zeros on the line Re(z)=1, an awesome argument...
