Takeuti - Proof Theory Elsevier 1987 & An elementary treatise on conic sections and algebraic geometry rar