大葉大學圖書館 |

登入

回首頁

Lectures in Logic and Set Theory :[e...

Bollobas, B.

Lectures in Logic and Set Theory :[electronic resource].Volume 1, Mathematical Logic.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Lectures in Logic and Set Theory : : Volume 1, Mathematical Logic.
作者:	Tourlakis, George.
其他作者:	Bollobas, B.
出版者:	Cambridge : : Cambridge University Press,, 2003.
面頁冊數:	342 p.
標題:	Logic, Symbolic and mathematical.
ISBN:	9780511615559 (electronic bk.)
ISBN:	9780521753739 (print)
內容註:	Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index
摘要、提要註:	Includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
電子資源:	Click here to view book

Lectures in Logic and Set Theory :[electronic resource].Volume 1, Mathematical Logic.
Tourlakis, George.

Lectures in Logic and Set Theory :Volume 1, Mathematical Logic.[electronic resource]. - Cambridge :Cambridge University Press,2003. - 342 p.

Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index

Includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Electronic reproduction.

Available via World Wide Web.

Mode of access: World Wide Web.

ISBN: 9780511615559 (electronic bk.)Subjects--Topical Terms:

381130
Logic, Symbolic and mathematical.
Index Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: QA9.2 .T68 2003eb

Dewey Class. No.: 511.3

Lectures in Logic and Set Theory :[electronic resource].Volume 1, Mathematical Logic.
LDR:01365nam a22002773u 4500 001 331351
003 AU-PeEL
005 20090601202844.0
006 m d
007 cr mn---------
008 140714t2003 ||| s |||||||eng|d
020 $a 9780511615559 (electronic bk.)
020 $a 9780521753739 (print)
035 $a EBL218145
035 $a EBL218145
040 $a AU-PeEL $c AU-PeEL $d AU-PeEL
050 0 0 $a QA9.2 .T68 2003eb
082 0 0 $a 511.3
100 1 $a Tourlakis, George. $3 381129
245 1 0 $a Lectures in Logic and Set Theory : $b Volume 1, Mathematical Logic. $h [electronic resource].
260 $a Cambridge : $b Cambridge University Press, $c 2003.
300 $a 342 p.
505 0 $a Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index
520 $a Includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
533 $a Electronic reproduction. $n Available via World Wide Web.
538 $a Mode of access: World Wide Web.
650 4 $a Logic, Symbolic and mathematical. $3 381130
655 7 $a Electronic books. $2 local $3 336502
700 1 $a Bollobas, B. $3 380635
700 1 $a Fulton, W. $3 380636
700 1 $a Katok, A. $3 380637
700 1 $a Kirwan, F. $3 380638
700 1 $a Sarnak, P. $3 380639
710 2 $a Ebooks Corporation. $3 380544
776 1 $z 9780521753739
856 4 0 $z Click here to view book $u http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511615559

筆 0 讀者評論

多媒體

多媒體檔案
http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511615559

評論

新增評論分享你的心得

Export

取書館別