Lectures in Logic and Set Theory: Volume 1, Mathematical Logic by George Tourlakis
Look inside with Google Book Preview
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
By George Tourlakis

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

Mathematical Logic v. 1

By (author) See other recent books by George Tourlakis
Series edited by B. Bollobas See other recent books by B. Bollobas See other recent books by W. Fulton
Format: Hardback

Normal Price: $170.00
Your Price: $153.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $17.00! (10% off normal price)
Plus...earn $7.65 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Lectures in Logic and Set Theory: Volume 1, Mathematical Logic by George Tourlakis

Book Description

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.

Buy Lectures in Logic and Set Theory: Volume 1, Mathematical Logic book by George Tourlakis from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521753739
ISBN-10: 0521753732
Format: Hardback
(228mm x 152mm x 22mm)
Pages: 342
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 9-Jan-2003
Country of Publication: United Kingdom

Other Editions...


Books By Author George Tourlakis

Theory of Computation by George Tourlakis Theory of Computation, Hardback (April 2012)

With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related examples to help readers gain the skills and intuition that are key to successful programming.

Lectures in Logic and Set Theory: Volume 2, Set Theory by George Tourlakis Lectures in Logic and Set Theory: Volume 2, Set Theory, Paperback (September 2010)

This two-volume work bridges the gap between introductory texts and the research literature.

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic by George Tourlakis Lectures in Logic and Set Theory: Volume 1, Mathematical Logic, Paperback (September 2010)

This two-volume set bridges the gap between introductory texts and the research literature.

Mathematical Logic by George Tourlakis Mathematical Logic, Hardback (September 2008)

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning.

» View all books by George Tourlakis

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Lectures in Logic and Set Theory: Volume 1, Mathematical Logic book by George Tourlakis and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by George Tourlakis close
Theory of Computation by George Tourlakis
Lectures in Logic and Set Theory: Volume 2, Set Theory by George Tourlakis
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic by George Tourlakis
Mathematical Logic by George Tourlakis
Lectures in Logic and Set Theory: Volume 2, Set Theory by George Tourlakis
»
Recent books by B. Bollobas close
Tribute to Paul Erdos by B. Bollobas
Quantum Stochastic Processes and Non-commutative Geometry by B. Bollobas
Ultrametric Calculus by B. Bollobas
Multiplicative Number Theory I by B. Bollobas
Additive Combinatorics by B. Bollobas
Random Fragmentation and Coagulation Processes by B. Bollobas
Automorphic Forms and L-Functions for the Group GL(n,R) by B. Bollobas
Markov Processes, Gaussian Processes, and Local Times by B. Bollobas
Levy Laplacian by B. Bollobas
Polycyclic Groups by B. Bollobas
Approximation by Algebraic Numbers by B. Bollobas
Finite Packing and Covering by B. Bollobas
General Irreducible Markov Chains and Non-negative Operators by B. Bollobas
Lebesgue Integral by B. Bollobas
Stochastic Approximation by B. Bollobas
Finite Free Resolutions by B. Bollobas
Completeness and Basis Properties of Sets of Special Functions by B. Bollobas
Approaches to the Theory of Optimization by B. Bollobas
Theory of Cluster Sets by B. Bollobas
Invariants of Quadratic Differential Forms by B. Bollobas
»
Recent books by W. Fulton close
Ultrametric Calculus by W. Fulton
Random Fragmentation and Coagulation Processes by W. Fulton
Automorphic Forms and L-Functions for the Group GL(n,R) by W. Fulton
Levy Laplacian by W. Fulton
Polycyclic Groups by W. Fulton
Approximation by Algebraic Numbers by W. Fulton
Finite Packing and Covering by W. Fulton
General Irreducible Markov Chains and Non-negative Operators by W. Fulton
Lebesgue Integral by W. Fulton
Stochastic Approximation by W. Fulton
Finite Free Resolutions by W. Fulton
Completeness and Basis Properties of Sets of Special Functions by W. Fulton
Approaches to the Theory of Optimization by W. Fulton
Invariants of Quadratic Differential Forms by W. Fulton
Fredholm Theory in Banach Spaces by W. Fulton
Algebraic Automata Theory by W. Fulton
Asymptotic Expansions by W. Fulton
Hopf Algebras by W. Fulton
Topics in Ergodic Theory by W. Fulton
Ideal Theory by W. Fulton
»
BoomerangBooks.com.au close