Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Lectures in Logic and Set Theory : =...
~
Katok, A.
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:
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
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login