|
|
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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
Metal-Oxygen Clusters: The Surface and Catalytic Properties of Heteropoly Oxometalates (Fundamental and Applied Catalysis)Автор: John B. Moffat
Размер книги: 2.65 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
Metal-Oxygen Clusters: The Surface and Catalytic Properties of Heteropoly Oxometalates (Fundamental and Applied Catalysis)Автор: John B. Moffat
Размер книги: 2.65 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Global Computing.. Programming Environments, Languages, Security, and Analysis of Systems, IST-FET, GC 2003Автор: Corrado PriamiКатегория: CsLn_
Размер книги: 4.12 Mb
Foliations and Geometric Structures (Mathematics and Its Applications)Автор: Aurel Bejancu, Автор: Hani Reda Farran
Размер книги: 1.90 Mb
NMTA Middle Level Mathematics 24 Teacher Certification, 2nd Edition (XAM NMTA)Автор: Sharon WynneКатегория: Математика
Размер книги: 2.28 Mb
Real Analysis (4th Edition)Автор: Halsey Royden, Автор: Patrick FitzpatrickКатегория: Математика, Анализ
Размер книги: 7.43 Mb
122-мм самоходная гаубица. Техническое описание и инструкция по эксплуатации.Автор:Категория: ВОЕННАЯ ИСТОРИЯ, ТЕХНИКА
Размер книги: 49.34 Mb
|
|
|