Lectures on the Logic of Arithmetic

GPTKB entity