Нажмите на ссылку Enderton_2001_A mathematical introduction to logic 2nd.pdf, чтобы просмотреть файл.