東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Lectures in Logic and Set Theory : =...

Tourlakis, George.

FindBook

Google Book

Amazon

博客來

Lectures in Logic and Set Theory : = Volume 1, Mathematical Logic.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Lectures in Logic and Set Theory :/
其他題名:	Volume 1, Mathematical Logic.
作者:	Tourlakis, George.
其他作者:	Bollobas, B.
出版者:	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
標題:	Logic, Symbolic and mathematical. -
電子資源:	http://dx.doi.org/10.1017/CBO9780511615559Click here to view book
ISBN:	9780511615559 (electronic bk.)

Lectures in Logic and Set Theory : = 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:

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

542853
Electronic books.

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

Dewey Class. No.: 511.3

Lectures in Logic and Set Theory : = Volume 1, Mathematical Logic.
LDR:01373nmm a22002893u 4500 001 1808732
003 AU-PeEL
005 20090601202844.0
006 m d
007 cr mn---------
008 231221t2003 ||| s |||||||eng|d
020 $a 9780511615559 (electronic bk.)
020 $a 9780521753739 (print)
035 $a EBL218145
035 $a EBL218145
035 $a 1808732
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 1898038
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 532051
655 7 $a Electronic books. $2 lcsh $3 542853
700 1 $a Bollobas, B. $3 1897715
700 1 $a Fulton, W. $3 713901
700 1 $a Katok, A. $3 1897716
700 1 $a Kirwan, F. $3 1897717
700 1 $a Sarnak, P. $3 1897718
710 2 $a Ebooks Corporation. $3 1314793
776 1 $z 9780521753739
856 4 0 $z Click here to view book $u http://dx.doi.org/10.1017/CBO9780511615559