£135.00

Elsevier Handbook of Proof Theory - Computer Science Book

Price data last checked 58 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£135 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical
Generating forecast...
£135.00 £128.25 £130.95 £133.65 £136.35 £139.05 £141.75 17 March 2026 25 March 2026 02 April 2026 10 April 2026 18 April 2026

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price
33 days 0 8 17 25 33 £135 Days at Price

Price Analysis

Most common price: £135 (33 days, 100.0%)

Price range: £135 - £135

Price levels: 1 different prices over 33 days

Description

The Handbook of Proof Theory by Elsevier provides a specialized resource for those studying computer science and architecture. This academic text is designed for readers interested in the deep theoretical foundations of computing and microprocessor architecture. As a publication from Elsevier Science, this handbook serves as a professional reference for students and researchers within the field of computer science. It is categorized under computing and internet subjects, making it a relevant addition to any technical library focused on the mathematical and structural aspects of computational theory. This book offers a way to engage with the formal logic and proof systems that underpin modern computing structures.

Key Features

Published by Elsevier Science, a trusted name in academic and technical literature.

Focused on the essential subject of proof theory for computer science professionals.

Categorized for specific use in computer science and microprocessor architecture studies.

Provides a specialized resource for researchers in the computing and internet field.

A standard academic reference for those studying mathematical foundations in computing.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
19 November 2014
Listed Since
19 November 2014

Barcode

No barcode data available

Similar Products You Might Like

Filters and Filtration Handbook
98% match

Filters and Filtration Handbook

Elsevier

£160.00 15 Apr 2026
Handbook of Electronic Structure Theory: Methods and Applications
98% match

Handbook of Electronic Structure Theory: Methods and Applications

Elsevier

£167.12 10 Mar 2026
Elsevier New Theories for Chemistry - Science Reference Book
98% match

Elsevier New Theories for Chemistry - Science Reference Book

Elsevier

£145.00 25 Feb 2026
Information Flow and Knowledge Sharing
98% match

Information Flow and Knowledge Sharing

Elsevier

£100.00 25 Feb 2026
Lab Manual
98% match

Lab Manual

Prentice Hall

£62.99 01 Apr 2026
Accelerated Quality And Reliability Solutions
98% match

Accelerated Quality And Reliability Solutions

Elsevier

£140.00 02 Mar 2026
Landmark Papers in Clinical Chemistry
98% match

Landmark Papers in Clinical Chemistry

Elsevier

£67.99 05 Mar 2026
Key Papers in Information Science
98% match

Key Papers in Information Science

By

£65.35 01 Mar 2026
Elsevier Experimental Design - Neurology & Clinical Neurophysiology
98% match

Elsevier Experimental Design - Neurology & Clinical Neurophysiology

Elsevier

£130.00 16 Apr 2026
Essays in Conceptual Analysis
98% match

Essays in Conceptual Analysis

By

£55.00 08 Mar 2026
Information Theory of Molecular Systems
98% match

Information Theory of Molecular Systems

Elsevier

£95.00 07 Mar 2026
Handbook of Peer Tutoring, The
98% match

Handbook of Peer Tutoring, The

Bloomsbury Academic

£81.14 07 Mar 2026
Coma Science
98% match

Coma Science

Elsevier

£185.00 16 Apr 2026
Elsevier Fuzzy Logic and the Semantic Web - Computer Science
98% match

Elsevier Fuzzy Logic and the Semantic Web - Computer Science

Elsevier

£125.00 18 Apr 2026
Modern Information Processing: From Theory to Applications
98% match

Modern Information Processing: From Theory to Applications

Elsevier

£100.00 01 Mar 2026
Springer Handbook of Engineering Statistics
98% match

Springer Handbook of Engineering Statistics

£150.00 12 Jan 2026
The Routledge Handbook of Mindshaping (Routledge Handbooks in Philosophy)
98% match

The Routledge Handbook of Mindshaping (Routledge Handbooks in Philosophy)

£163.61 15 Jan 2026
Development Biology
98% match

Development Biology

Elsevier

£77.00 13 Apr 2026
Eta Products and Theta Series Identities (Springer Monographs in Mathematics)
98% match

Eta Products and Theta Series Identities (Springer Monographs in Mathematics)

Springer

£77.19 08 Mar 2026
International Financial Flows: A Statistical Handbook
98% match

International Financial Flows: A Statistical Handbook

Springer

£72.50 24 Feb 2026
Elsevier Proteome Analysis: Interpreting the Genome Book
98% match

Elsevier Proteome Analysis: Interpreting the Genome Book

Elsevier

£155.00 04 Mar 2026
Naturally Occurring Bioactive Compounds
98% match

Naturally Occurring Bioactive Compounds

Elsevier

£180.00 12 Apr 2026
Hegel on Tragedy
98% match

Hegel on Tragedy

By

£66.95 05 Mar 2026
Signals, Systems, and Transforms: United States Edition
98% match

Signals, Systems, and Transforms: United States Edition

Prentice Hall

£84.99 26 Mar 2026