Gentzenizing Schroeder - Heister's natural extension of natural deductionby Arnon AvronWriting a summary for young readers…For young readersBook data: Open Library