國立虎尾科技大學 |

登入

回首頁

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Lectures in Logic and Set Theory :/
其他題名:	Volume 1, Mathematical Logic.
作者:	Tourlakis, George.
其他作者:	Sarnak, P.
出版者:	Cambridge :Cambridge University Press, : 2003.,
面頁冊數:	342 p.
標題:	Logic, Symbolic and mathematical. -
電子資源:	Click here to view book
ISBN:	9780511068713 (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: 9780511068713 (electronic bk.)Subjects--Topical Terms:

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

554714
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:01372nam a22002773u 4500 001 654069
003 AU-PeEL
005 20090601202844.0
006 m d
007 cr mn---------
008 101215t2003 ||| s |||||||eng |d
020 $a 9780511068713 (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 685608
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 527823
655 7 $a Electronic books. $2 local $3 554714
700 1 $a Sarnak, P. $3 684079
700 1 $a Kirwan, F. $3 684078
700 1 $a Katok, A. $3 684077
700 1 $a Fulton, W. $3 684076
700 1 $a Bollobas, B. $3 684075
710 2 $a Ebooks Corporation. $3 683803
776 1 $z 9780521753739
856 4 0 $z Click here to view book $u http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511615559

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別