Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Lectures in Logic and Set Theory :Vo...
~
Bollobas, B.
Lectures in Logic and Set Theory :Volume 1, Mathematical Logic.
Record Type:
Electronic resources : Monograph/item
Title/Author:
Lectures in Logic and Set Theory :
Reminder of title:
Volume 1, Mathematical Logic.
Author:
Tourlakis, George.
other author:
Bollobas, B.
Published:
Cambridge :Cambridge University Press,2003.
Description:
342 p.
Subject:
Logic, Symbolic and mathematical.
Online resource:
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
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000025630
電子館藏
1圖書
電子書
EB QA9.2 .T68 2003
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1017/CBO9780511615559
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login