Cambridge Metamathematics of First-Order Arithmetic - Book 3 - Image 1

£91.66

Cambridge University Press Cambridge Metamathematics of First-Order Arithmetic - Book 3

Name: Cambridge Metamathematics of First-Order Arithmetic - Book 3
Brand: Cambridge University Press
Price: 72.48 GBP
Availability: InStock

Set Theory

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £92 (51 days, 59.3%)

Price range: £72 - £141

Price levels: 4 different prices over 86 days

Description

Expand your mathematical knowledge with this essential monograph from Cambridge University Press. As the third publication in the Perspectives in Logic series, this work addresses a significant gap in available literature by bringing back high-level logical research to modern readers. This volume provides a detailed study of the metamathematics of first-order arithmetic. It is designed to help readers gain a better understanding of the axiom schema of induction and the phenomenon of incompleteness. By focusing on subsystems and fragments of Peano arithmetic, the text offers a deep look into the foundational structures of mathematical logic. Whether you are a researcher or a student of mathematical foundations, this book serves as a vital resource for studying the core principles of logic. Part of the esteemed Perspectives in Logic and Lecture Notes in Logic series, it continues a tradition of publishing seminal works by leading logicians in the field.

Key Features

Part of the respected Perspectives in Logic series, specifically volume number 3.

Provides an in-depth study of the metamathematics of first-order arithmetic.

Focuses on subsystems and fragments of Peano arithmetic for detailed analysis.

Helps readers understand the axiom schema of induction and incompleteness.

Published by Cambridge University Press, a leader in academic logic texts.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107168414
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Set Theory
Domain: Amazon UK
Release Date: 02 March 2017
Listed Since: 24 August 2016

Barcode

No barcode data available

Cambridge University Press Cambridge Metamathematics of First-Order Arithmetic - Book 3

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Aspects of Incompleteness: 10 (Lecture Notes in Logic, Series Number 10)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Propositional Logics Third Edition

Cambridge Recursion-Theoretic Hierarchies - Perspectives in Logic

Cambridge University Press - Pure Inductive Logic Monograph

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Logic for Mathematicians

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Mathematical Logic

Mathematical Logic through Python

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

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

The Metaphysics of Logic

Logical Foundations of Proof Complexity (Perspectives in Logic)

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Fine Structure and Iteration Trees: 3 (Lecture Notes in Logic, Series Number 3)

Proper and Improper Forcing: 5 (Perspectives in Logic, Series Number 5)

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

Set Theory, Logic and their Limitations

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

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results