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

Show other versions (1)

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 writ...

Full description

Bibliographic Details
Uniform Title:Cambridge studies in advanced mathematics ; 82.
Main Author: Tourlakis, George J. (Author)
Language:English
Published: Cambridge : Cambridge University Press, 2003.
Series:Cambridge studies in advanced mathematics ; 82.
Subjects:
Logic, Symbolic and mathematical.
Set theory.
Online Access:
Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Physical Description:1 online resource (xi, 328 pages) : digital, PDF file(s).
Variant Title:
Lectures in Logic & Set Theory.
Format: Electronic eBook

MARC

LEADER 00000nam a22000008i 4500
001 in00005574807
003 OCoLC
005 20220616145009.0
006 m|||||o||d||||||||
007 cr |||||||||||
008 090914s2003||||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  |d UtOrBLW 
049 |a QEMP 
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.  |0 http://id.loc.gov/authorities/names/n83178579 
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.  |0 http://id.loc.gov/authorities/subjects/sh85078115 
650 0 |a Set theory.  |0 http://id.loc.gov/authorities/subjects/sh85120387 
776 0 8 |i Print version:  |a Tourlakis, George J.  |t Lectures in logic and set theory. Volume 1, Mathematical logic  |z 9780521753739. 
830 0 |a Cambridge studies in advanced mathematics ;  |v 82.  |0 http://id.loc.gov/authorities/names/n84708314 
856 4 0 |u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511615559  |z Connect to online resource - MSU authorized users  |t 0 
907 |y .b119431488  |b 211128  |c 160728 
998 |a wb  |b 160728  |c m  |d a   |e -  |f eng  |g enk  |h 0  |i 3 
999 f f |i a63587c0-b56c-572e-a6e9-544d83d78458  |s 34d3ba42-9dd8-5e7d-abf0-791143463fb2  |t 0 
952 f f |p Non-Circulating  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Online Resource  |d MSU Online Resource  |t 0  |e QA9.2 .T68 2003  |h Library of Congress classification  |i Electronic Resource  |j Online  |n 1 
856 4 0 |t 0  |u http://ezproxy.msu.edu/login?url=http://dx.doi.org/10.1017/CBO9780511615559  |y Connect to online resource - MSU authorized users