recordings are in german unless otherwise specified his main work was on the foundations of mathematics in proof theory isabukuru nziza papa wanyigishije byinshi