Domanda di colloquio di Applift

Mathematical logic questions.