• Учебники
  • Первое знакомство с математической логикой | Депман, 1965