Complete theories - Robinson A.

Название: Complete theories
Автор: Robinson A.
Категория: Математика
Тип: Книга
Дата: 30.12.2008 16:23:41
Скачано: 28
Описание: The present treatise belongs to the metamathematics of Algebra. The fact that this subject has in recent years attracted the active attention of various eminent logicians has encouraged the present author to contribute to it yet another monograph. A general survey of the contents will be found in the first section of the first chapter. Except where references to earlier papers are given, the methods and results described here were obtained within the last twelve months. Some of the work was reported upon in lectures in Zurich (June, 1954) and Jerusalem (July, 1954) and at the Symposium on the mathematical interpretation of formal systems, which was held in conjunction with the International Congress of Mathematicians (Amsterdam, September, 1954). The author is indebted to B. Eckmann, L. Henkin, A. H. Light-stone, and P. C. Gilmore for stimulating conversations on some of the topics considered here. He also wishes to express his gratitude to L. E. J. Brouwer, E. VV. Beth, and A. Heyting, and to the North-Holland Publishing Company for agreeing to publish the present book in the series "Studies in Logic and the Foundations of Mathematics".
Файл: 1.28 МБ