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...
Volume 5.
Logic and Algebraic Methods.
The present Volume 5 continues with logical and algebraic methodologies
basic to computer science. Chapter 1 covers Martin-L0f's type theory,
originally developed to clarify the foundations of constructive mathematics
it now plays a major role in theoretical computer science. The second
chapter covers categorial logic, the interaction...
Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of...
Elsevier, 2011. - 1168 pages. This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest...
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с.
Качество: хорошее, текстовый слой, оглавление.
Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств.
Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две...
М.: Наука. Главная редакции физико-математической литературы, 1982. — 360 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер....
Комментарии