Mathematics and Logic: From Euclid to Modern Geometry | Online Courses Trailer
What is MATHEMATICAL LOGIC? What does MATHEMATICAL LOGIC mean? MATHEMATICAL LOGIC meaning
A Book on Logic and Mathematical Proofs
Can You Solve This Logic Puzzle?
Mathematical Logic, part 1: an infinite variety of logics
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.