Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137) - Image 1

£96.93

Elsevier Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Name: Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
Brand: Elsevier
Price: 112.29 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 29 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £112 (13 days, 44.8%)

Price range: £97 - £112

Price levels: 4 different prices over 29 days

Description

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Product Specifications

Brand: Elsevier
Format: hardcover
ASIN: 0444898409
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 13 July 1998
Listed Since: 05 February 2007

Barcode

No barcode data available

Elsevier Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

How to Prove It: A Structured Approach

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

Logic and Language Models for Computer Science: Third Edition

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Logic for Applications (Texts in Computer Science)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Wiley Discrete Mathematics with Proof - Second Edition