Математическая логика
Математика
  • формат pdf
  • размер 14,80 МБ
  • добавлен 08 февраля 2012 г.
Ершов Ю.Л., Палютин Е.А., Тайцлин М.А. Математическая логика. Лекции для студентов-математиков НГУ
Новосибирск, Новосибирский государственный университет, 1973, 160 с.
Книга представляет собою учебник, содержащий весь обязательный материал по разделам: исчисление высказываний, теория множеств, теория моделей, исчисление предикатов.
Похожие разделы