Theories for admissible sets, a unifying approach to proof theoryby Gerhard JägerAdmissible setsProof theoryWriting a summary for young readers…For young readersBook data: Open Library