Telecharger Cours

Introduction to Mathematical Logic

Understanding and finding proofs is a central part of mathematics. But what is a proof, actually? Can the concept of a proof be formalised?



Download