新生學校財團法人新生醫護管理專科學校圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Lectures in Logic and Set Theory : =...

Katok, A.

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

紀錄類型:	書目-電子資源 : 單行本
正題名/作者:	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:

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

96803
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:01365nmm a22002773u 4500 001 149186
003 AU-PeEL
005 20090601202844.0
006 m d
007 cr mn---------
008 160127t2003 ||| 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 277582
245 1 0 $a Lectures in Logic and Set Theory : $b Volume 1, Mathematical Logic. $h [electronic resource].
260 $a Cambridge : $c 2003. $b Cambridge University Press,
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 93197
655 7 $a Electronic books. $2 local. $3 96803
700 1 $a Bollobas, B. $3 276001
700 1 $a Fulton, W. $3 276002
700 1 $a Katok, A. $3 276003
700 1 $a Kirwan, F. $3 276004
700 1 $a Sarnak, P. $3 276005
710 2 $a Ebooks Corporation. $3 197505
776 1 $z 9780521753739
856 4 0 $z Click here to view book $u http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511615559

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別