Elsevier, 1977. — 1165 p. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical...
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с.
Качество: хорошее, текстовый слой, оглавление.
Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств.
Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две...
Комментарии