大葉大學圖書館 |

登入

回首頁 到查詢結果 [ subject:"Set theory." ]

Lectures in logic and set theory.Vol...

Tourlakis, George J.,

Lectures in logic and set theory.Volume 1,Mathematical logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Lectures in logic and set theory./ George Tourlakis.
其他題名:	Lectures in Logic & Set Theory
作者:	Tourlakis, George J.,
面頁冊數:	1 online resource (xi, 328 pages) : : digital, PDF file(s).
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
標題:	Logic, Symbolic and mathematical.
標題:	Set theory.
ISBN:	9780511615559 (ebook)
摘要、提要註:	This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 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.
電子資源:	http://dx.doi.org/10.1017/CBO9780511615559

Lectures in logic and set theory.Volume 1,Mathematical logic /
Tourlakis, George J.,

Lectures in logic and set theory.Volume 1,Mathematical logic /Lectures in Logic & Set TheoryGeorge Tourlakis. - 1 online resource (xi, 328 pages) :digital, PDF file(s). - Cambridge studies in advanced mathematics ;82. - Cambridge studies in advanced mathematics ;105..

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 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.

ISBN: 9780511615559 (ebook)Subjects--Topical Terms:

381130
Logic, Symbolic and mathematical.

LC Class. No.: QA9.2 / .T68 2003

Dewey Class. No.: 511.3

Lectures in logic and set theory.Volume 1,Mathematical logic /
LDR:01862nam a22003138i 4500 001 448722
003 UkCbUP
005 20160527093954.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 161201s2003||||enk o ||1 0|eng|d
020 $a 9780511615559 (ebook)
020 $z 9780521753739 (hardback)
020 $z 9780521168465 (paperback)
035 $a CR9780511615559
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a QA9.2 $b .T68 2003
082 0 0 $a 511.3 $2 21
100 1 $a Tourlakis, George J., $e author. $3 643686
245 1 0 $a Lectures in logic and set theory. $n Volume 1, $p Mathematical logic / $c George Tourlakis.
246 3 $a Lectures in Logic & Set Theory
264 1 $a Cambridge : $b Cambridge University Press, $c 2003.
300 $a 1 online resource (xi, 328 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
490 1 $a Cambridge studies in advanced mathematics ; $v 82
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
520 $a This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 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.
650 0 $a Logic, Symbolic and mathematical. $3 381130
650 0 $a Set theory. $3 443094
776 0 8 $i Print version: $z 9780521753739
830 0 $a Cambridge studies in advanced mathematics ; $v 105. $3 642377
856 4 0 $u http://dx.doi.org/10.1017/CBO9780511615559

筆 0 讀者評論

多媒體

多媒體檔案
http://dx.doi.org/10.1017/CBO9780511615559

評論

新增評論分享你的心得

Export

取書館別