ISBN-13: 9789400765337 / Angielski / Twarda / 2013 / 393 str.
ISBN-13: 9789400765337 / Angielski / Twarda / 2013 / 393 str.
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.