Introduction to Mathematical Logic
Book information
Description
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.
Similar books
Введение в теорию множеств и математическую логику
Збірник вправ і задач з математичної логіки
DJVU
Логические теории временных контекстов (Временная логика)
DJVU
Введение в математическую логику и роды структур
Вокруг теоремы Геделя
Математическая логика и теория алгоритмов
Введение в математическую логику
DOCX