

Beschreibung
Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on. This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic,...