國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Lectures in logic and set theory./ George Tourlakis.
remainder title:	Lectures in Logic & Set Theory
Author:	Tourlakis, George J.,
Description:	1 online resource (xi, 328 pages) :digital, PDF file(s). :
Notes:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
Subject:	Logic, Symbolic and mathematical. -
Online resource:	https://doi.org/10.1017/CBO9780511615559
ISBN:	9780511615559 (ebook)

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 ;134..

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:

527823
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:01860nam a2200313 i 4500 001 1126384
003 UkCbUP
005 20160527093954.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2003||||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 1445045
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 527823
650 0 $a Set theory. $3 579942
776 0 8 $i Print version: $z 9780521753739
830 0 $a Cambridge studies in advanced mathematics ; $v 134. $3 1133579
856 4 0 $u https://doi.org/10.1017/CBO9780511615559