|
libcats.org
The Mathematics of Logic. A guide to completeness theorems and their applicationsRichard W. KayeThis undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
Скачать книгу бесплатно (pdf, 959 Kb)
Читать «The Mathematics of Logic. A guide to completeness theorems and their applications» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
![]() Сто лет одиночестваАвтор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() The Fictions of James Joyce and Wyndham Lewis: Monsters of Nature and DesignАвтор: Scott W. KleinКатегория: Наука (общее), Научно-популярное
Размер книги: 4.83 Mb
![]() Ecumenical Ecclesiology: Unity, Diversity and Otherness in a Fragmented World (Ecclesiological Investigations)Автор: Gesa Elsbeth Thiessen, Автор: Linda Hogan
Размер книги: 1.33 Mb
![]() Materials Science and Engineering An Introduction,9th EditionАвтор: William D. Callister Jr., Автор: David G. Rethwisch
Размер книги: 32.11 Mb
Только что пользователи скачали эти книги:
![]() Матководство. Биологические основы и технические рекомендацииАвтор: Руттнер Д.Ф.
Размер книги: 12.65 Mb
![]() New Insights into Membrane Science and Technology: Polymeric and Biofunctional MembranesАвтор: Dibakar Bhattacharyya, Автор: Allan DA Butterfield
Размер книги: 19.42 Mb
![]() Atlantic Convoys and Nazi Raiders: The Deadly Voyage of HMS Jervis BayАвтор: Bruce A. Watson
Размер книги: 11.84 Mb
![]() Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre (1927,1935) Deskripte Mengenlehre und Topologie (German and English Edition) (v. 3)Автор: Felix Hausdorff, Автор: Ulrich Felgner, Автор: Horst Herrlich, Автор: Mirek Husek, Автор: Vladimir Kanovei, Автор: Peter Koepke, Автор: Gerhard Preuß, Автор: Walter Purkert, Автор: Erhard Scholz
Размер книги: 16.53 Mb
![]() Nice or Nasty: A Book of OppositesАвтор: Nick Butterworth, Автор: Mick InkpenКатегория: artbook
Размер книги: 11.55 Mb
![]() iCon Steve Jobs: The Greatest Second Act in the History of BusinessАвтор: Jeffrey S. Young, Автор: William L. SimonКатегория: biography
Размер книги: 25.03 Mb
|
|