أرسل هذا في رسالة قصيرة: Logic, semantics, metamathematics: papers from 1923 to 1938