Basic mathematical logic. Methods of proof in mathematics. Application of proofs to elementary mathematical structures.