Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82) - Image 1

£88.35

Cambridge University Press Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Name: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
Brand: Cambridge University Press
Price: 103.29 GBP
Availability: InStock

Set Theory

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £103 (75 days, 84.3%)

Price range: £88 - £103

Price levels: 2 different prices over 89 days

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.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521753732
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Set Theory
Domain: Amazon UK
Release Date: 09 January 2003
Listed Since: 09 February 2007

Barcode

No barcode data available

Cambridge University Press Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Logic for Computer Science and Artificial Intelligence

Logic Colloquium '03: Lecture Notes in Logic 24

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Proofs and Computations (Perspectives in Logic)

Computability and Logic

Proof Analysis: A Contribution to Hilbert's Last Problem

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Logic and Philosophy: A Modern Introduction

Modal Semirings and Applications (Trends in Logic, 72)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

An Introduction to Substructural Logics

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Probabilistic Extensions of Various Logical Systems