У посібнику викладено поняття і результати, які належать до основ математичної логіки і основ теорії алгоритмів. Вивчаються пропозиційна логіка, класична логіка  першого порядку, а також інтуїціоністська та модальні логіки, формальні моделі алгоритмів і обчислюваних функцій, питання розв’язності та нерозв’язності, відносна обчислюваність, звідності. Наприкінці розділів наведено питання для самоконтролю, задачі та вправи для самостійного виконання. Для студентів спеціальностей “Інформатика” та “Прикладна математика”.