This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.

This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.