Lectures in Logic and Set Theory

Volume 1, Mathematical Logic

George Tourlakis (York University, Toronto), B. Bollobas, W. Fulton , A. Katok

$203.95

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
21 January 2003

Mathematical logic; Set theory; Mathematical theory of computation

Series: Cambridge Studies in Advanced Mathematics

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

By: George Tourlakis (York University Toronto)
Series edited by: B. Bollobas, W. Fulton, A. Katok, F. Kirwan
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Volume: 82
Dimensions: Height: 234mm, Width: 157mm, Spine: 23mm
Weight: 670g
ISBN: 9780521753739
ISBN 10: 0521753732
Series: Cambridge Studies in Advanced Mathematics
Pages: 342
Publication Date: 21 January 2003
Audience: Professional and scholarly , College/higher education , Undergraduate , Primary
Format: Hardback
Publisher's Status: Active

Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.

Reviews for Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern Logic A thorough and complete resource for one of the most remarkable theorems of logic. George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature. Robert Mignone, The Review of Modern Logic