+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: BOOKS (https://mklab.gr/forumdisplay.php?fid=6)
+----- Forum: Foundations of Mathematics (https://mklab.gr/forumdisplay.php?fid=46)
+----- Thread: Logic and Proof [Avigad] (/showthread.php?tid=136)
Logic and Proof [Avigad] - mklabgr - 06-08-2026
Title Logic and Proof
Autohr Jeremy Avigad
Summary : The text is an introductory course on mathematical logic and formal proof, designed to teach both classical proof techniques and how to use the Lean interactive theorem prover. Its main goal is to bridge informal mathematical reasoning with fully formal, machine-checked proofs.
BOOK PAGE