大葉大學圖書館 |

The mathematics of logic :a guide to completeness theorems and their applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	The mathematics of logic : : a guide to completeness theorems and their applications // Richard Kaye.
作者:	Kaye, Richard
面頁冊數:	1 online resource (xii, 204 pages) : : digital, PDF file(s).
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
標題:	Logic, Symbolic and mathematical.
ISBN:	9780511619243 (ebook)
內容註:	König's lemma -- Posets and maximal elements -- Formal systems -- Deductions in posets -- Boolean algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness and compactness -- Model theory -- Nonstandard analysis.
摘要、提要註:	This 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 Kö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.
電子資源:	http://dx.doi.org/10.1017/CBO9780511619243

The mathematics of logic :a guide to completeness theorems and their applications /
Kaye, Richard

The mathematics of logic :a guide to completeness theorems and their applications /Richard Kaye. - 1 online resource (xii, 204 pages) :digital, PDF file(s).

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

König's lemma -- Posets and maximal elements -- Formal systems -- Deductions in posets -- Boolean algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness and compactness -- Model theory -- Nonstandard analysis.

This 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 Kö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.

ISBN: 9780511619243 (ebook)Subjects--Topical Terms:

381130
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .K32 2007

Dewey Class. No.: 511.3

The mathematics of logic :a guide to completeness theorems and their applications /
LDR:02333nam a22003018i 4500 001 448800
003 UkCbUP
005 20151005020622.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 161201s2007||||enk o ||1 0|eng|d
020 $a 9780511619243 (ebook)
020 $z 9780521882194 (hardback)
020 $z 9780521708777 (paperback)
035 $a CR9780511619243
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a QA9 $b .K32 2007
082 0 4 $a 511.3 $2 22
100 1 $a Kaye, Richard $q (Richard W.), $e author. $3 643846
245 1 4 $a The mathematics of logic : $b a guide to completeness theorems and their applications / $c Richard Kaye.
264 1 $a Cambridge : $b Cambridge University Press, $c 2007.
300 $a 1 online resource (xii, 204 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 $a König's lemma -- Posets and maximal elements -- Formal systems -- Deductions in posets -- Boolean algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness and compactness -- Model theory -- Nonstandard analysis.
520 $a This 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 Kö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.
650 0 $a Logic, Symbolic and mathematical. $3 381130
776 0 8 $i Print version: $z 9780521882194
856 4 0 $u http://dx.doi.org/10.1017/CBO9780511619243