Close this alert
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics #82)
Current price:
$139.00
Publication Date: January 9th, 2003
Publisher:
Cambridge University Press
ISBN:
9780521753739
Pages:
342
Usually Ships in 1 to 5 Days
Description
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.
Other Books in Series
Preorder
Algebraic Varieties: Minimal Models and Finite Generation (Cambridge Studies in Advanced Mathematics)
Hardcover
Preorder
Harmonic Functions and Random Walks on Groups (Cambridge Studies in Advanced Mathematics #213)
Hardcover
Polynomial Methods and Incidence Theory (Cambridge Studies in Advanced Mathematics #197)
Hardcover
Martingales in Banach Spaces (Cambridge Studies in Advanced Mathematics #155)
Hardcover
Enumerative Combinatorics (Cambridge Studies in Advanced Mathematics)
Hardcover
Generators of Markov Chains (Cambridge Studies in Advanced Mathematics #190)
Hardcover
Discrete Harmonic Analysis: Representations, Number Theory, Expanders, and the Fourier Transform (Cambridge Studies in Advanced Mathematics #172)
Hardcover
A Comprehensive Introduction to Sub-Riemannian Geometry (Cambridge Studies in Advanced Mathematics #181)
Hardcover
Dimension Groups and Dynamical Systems (Cambridge Studies in Advanced Mathematics #196)
Hardcover
Fourier Analysis and Hausdorff Dimension (Cambridge Studies in Advanced Mathematics #150)
Hardcover
Basic Category Theory (Cambridge Studies in Advanced Mathematics #143)
Hardcover
Zeta Functions of Graphs (Cambridge Studies in Advanced Mathematics #128)
Hardcover
Additive Combinatorics (Cambridge Studies in Advanced Mathematics #105)
Paperback
Mathematical Tools for One-Dimensional Dynamics (Cambridge Studies in Advanced Mathematics #115)
Hardcover
Higher Index Theory (Cambridge Studies in Advanced Mathematics #189)
Hardcover
Fourier Restriction, Decoupling, and Applications (Cambridge Studies in Advanced Mathematics #184)
Hardcover
Mathematical Aspects of Quantum Field Theory (Cambridge Studies in Advanced Mathematics #127)
Hardcover
Topics in Metric Fixed Point Theory (Cambridge Studies in Advanced Mathematics #28)
Hardcover
Soliton Equations and Their Algebro-Geometric Solutions: Volume 1, (1+1)-Dimensional Continuous Models (Cambridge Studies in Advanced Mathematics #79)
Hardcover
Global Methods for Combinatorial Isoperimetric Problems (Cambridge Studies in Advanced Mathematics #90)
Hardcover