Skip to main content
Dantes.io Logo
Dantes.io

Best resources to learnIntroduction to Proofs

Study sheet

Proof writing is the gateway to real mathematics. You will learn logic and set notation, direct, contrapositive and inductive proofs, and how to read and write rigorous arguments before analysis or algebra.

5 resources · · How we curate

🎓Courses(1)

course

Introduction to Mathematical Thinking

Stanford course by Keith Devlin on how mathematicians reason, starting with the logic of language (and, or, not, implication, quantifiers) and moving to the structure of proofs, including contradiction and induction. Learners become able to read, construct and critique simple mathematical proofs.

beginner🇬🇧

📚Books(1)

book

Discrete Mathematics: An Open Introduction

A free, open-licensed undergraduate textbook covering counting and combinatorics, sequences and recurrence relations, symbolic logic, proof techniques including induction, and graph theory, with many worked exercises. Readers build the discrete foundations needed for computer science and upper-level mathematics.

beginner🇬🇧

🌐Websites(2)

website

There's More to Mathematics Than Rigour and Proofs

The mental model that stops a learner from misreading this whole topic. Newcomers to proofs typically conclude that rigour replaces intuition and then stall; Tao's three-stage framing tells them what rigour is for and what comes after. Fields medallist's short essay on the pre-rigorous, rigorous and post-rigorous stages of mathematical development. Explains why formal proof exists at all: to destroy bad intuition and sharpen good intuition, not to replace intuition with symbol pushing.

intermediate🇬🇧
website

How To Prove It With Lean

Solves the hardest problem for a self-learner in this topic: with no grader, you cannot tell whether your proof is actually correct or merely feels correct. Lean answers that mechanically. Velleman's free companion has you re-do How to Prove It exercises inside the Lean proof assistant, which refuses to accept a gap. Machine checking exposes the hand-waving that a human grader often lets pass.

intermediate🇬🇧

📄Papers(1)

paper

How to Write Proofs: A Quick Guide

Ten-page guide from a Sheffield category theorist on the craft of writing a proof: planning before writing, what a proof must contain, common errors, and worked examples showing the gap between a correct idea and a readable argument. Its brevity is the point - it is the thing a learner actually rereads before submitting work.

beginner🇬🇧
Share this topic

More in Mathematical Logic

See all 13 topics in Mathematical Logic →

Frequently Asked Questions

What are the best free resources to learn Introduction to Proofs?

Dantes has curated 5 resources for Introduction to Proofs, including 1 books, 1 courses, 2 websites, 1 papers. All resources are hand-picked for quality — no algorithmic filler. Browse the full list above to find the format that works best for you.

Is Introduction to Proofs hard to learn?

Introduction to Proofs is approachable at the beginner level — there are resources here specifically for those starting from scratch. As you progress, intermediate and advanced material is also available to take your skills further.

What types of Introduction to Proofs learning resources are available on Dantes?

For Introduction to Proofs, Dantes has curated 1 books, 1 courses, 2 websites, 1 papers. Each resource type serves a different learning style: videos and YouTube for visual learners, books for depth, courses for structured progression, and websites for quick reference.

How does Dantes select Introduction to Proofs resources?

Dantes is an algorithm-free learning directory. Resources are hand-curated based on quality, accuracy, and usefulness — not engagement metrics or paid placements. The goal is to surface the best learning material for Introduction to Proofs, whether it's a free YouTube series, a classic textbook, or an open courseware from a top university.

Go deeper

Test your understanding of Introduction to Proofs

Explain it out loud. An AI tutor listens and asks questions that expose gaps you didn't know you had.