CONJECTURE AND PROOF - Laczkovich,Miklos (Mathematical Association Of America, Washington , Dc, 2001)
Keywords: Proof Theory