國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Lectures in Logic and Set Theory :Vo...

Bollobas, B.

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.
標題:	Logic, Symbolic and mathematical.
電子資源:	Click 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:

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

214472
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:01349nmm a22002773u 4500 001 325462
003 AU-PeEL
005 20090601202844.0
006 m d
007 cr mn---------
008 120509t2003 ||| 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 323572
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 180452
655 7 $a Electronic books. $2 local. $3 214472
700 1 $a Bollobas, B. $3 322184
700 1 $a Fulton, W. $3 322185
700 1 $a Katok, A. $3 322186
700 1 $a Kirwan, F. $3 322187
700 1 $a Sarnak, P. $3 322188
710 2 $a Ebooks Corporation. $3 322111
776 1 $z 9780521753739
856 4 0 $z Click here to view book $u http://dx.doi.org/10.1017/CBO9780511615559