|
|
libcats.org
Mathematical logicStephen Cole KleeneUndergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Gödel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Gödel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Д.П.Бриллиантов. Конструирование любительских цветных телевизоров (МРБ-1068, 1984, djvu)Автор:
Размер книги: 2.94 Mb
State-Selected and State-to-State Ion-Molecule Reaction Dynamics. ExperimentАвтор: Cheuk-Yiu Ng, Автор: Michael Baer
Размер книги: 5.07 Mb
Solution manual of Numerical methods for engineers- ChapraАвтор:Категория: Chemistry-Environmental-Material
Размер книги: 17.45 Mb
Hegemony or Survival: America's Quest for Global DominanceАвтор: Noam Chomsky
Размер книги: 1.27 Mb
Breaking the Phalanx: A New Design for Landpower in the 21st CenturyАвтор: Douglas A. Macgregor
Размер книги: 27.55 Mb
Методы анализа нелинейных динамических моделейАвтор: М. Холодниок, Автор: А. Клич, Автор: М. Кубичек, Автор: М. Марек; Пер. с чеш. И. Е. Зино; Под ред. [и с предисл.] Э. Э. Шноля
Размер книги: 13.18 Mb
|
|
|