This subject is designed to analyse the techniques of proof in Mathematics. Particular emphasis is given to proofs in algebra, mathematical logic, set theory and geometry. Topics includes: mathematical logic, methods of proof, theory of sets and selected topics of Analytic and Euclidean geometry.