ISBN-13: 9789401781947 / Angielski / Miękka / 2015 / 393 str.
ISBN-13: 9789401781947 / Angielski / Miękka / 2015 / 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.