£86.27

Elsevier Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

black & white illustrations

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£86 today · usual range £0–£0 · best ever £81

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 377 days • 377 data points (No recent data available)

Historical
Generating forecast...
£87.19 £80.66 £82.08 £83.51 £84.93 £86.36 £87.78 01 January 2025 05 April 2025 08 July 2025 10 October 2025 12 January 2026

Price Distribution

Price distribution over 377 days • 6 price levels

Days at Price
Current Price
141 days 17 days 142 days 9 days 66 days · current 2 days 0 36 71 107 142 £82 £83 £84 £85 £86 £87 Days at Price

Price Analysis

Most common price: £84 (142 days, 37.7%)

Price range: £82 - £87

Price levels: 6 different prices over 377 days

Description

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Key Features

Used Book in Good Condition

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
05 October 2001
Listed Since
05 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Categories for Types (Cambridge Mathematical Textbooks)
97% match

Categories for Types (Cambridge Mathematical Textbooks)

Cambridge University Press

£58.23 15 Jan 2026
LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)
96% match

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)

Cambridge University Press

£68.39 11 Mar 2026
Mathematical Modelling by Help of Category Theory: Abstract Perspectives on Models and Coupling of Models (Mathematical Engineering)
96% match

Mathematical Modelling by Help of Category Theory: Abstract Perspectives on Models and Coupling of Models (Mathematical Engineering)

£106.59 12 Jan 2026
Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)
96% match

Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)

Cambridge University Press

£72.40 16 Feb 2026
Type-Logical Semantics
96% match

Type-Logical Semantics

MIT Press

£47.58 17 Feb 2026
Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming
96% match

Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

VDM Verlag

£43.00 21 Feb 2026
LMS: 189 Locally Presentable (London Mathematical Society Lecture Note Series, Series Number 189)
96% match

LMS: 189 Locally Presentable (London Mathematical Society Lecture Note Series, Series Number 189)

Cambridge University Press

£84.05 09 Dec 2025
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
96% match

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Springer

£149.64 19 Apr 2026
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
96% match

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Springer

£141.86 22 Jan 2026
Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)
96% match

Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)

Cambridge University Press

£77.39 28 Feb 2026
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)
96% match

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Springer

£64.25 24 Feb 2026
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)
96% match

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Cambridge University Press

£42.68 25 Feb 2026
Logic, Logic, and Logic
95% match

Logic, Logic, and Logic

Harvard University Press

£34.18 15 Feb 2026
Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)
95% match

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Cambridge University Press

£90.84 07 Mar 2026
Category Theory in Physics, Mathematics, and Philosophy: 235 (Springer Proceedings in Physics, 235)
95% match

Category Theory in Physics, Mathematics, and Philosophy: 235 (Springer Proceedings in Physics, 235)

Springer

£128.80 12 Jan 2026
Categories for the Working Philosopher
95% match

Categories for the Working Philosopher

Oxford University Press

£119.98 14 Jan 2026
Higher Dimensional Categories: From Double To Multiple Categories
95% match

Higher Dimensional Categories: From Double To Multiple Categories

World Scientific Publishing Company

£79.00 09 Dec 2025
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
95% match

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Birkhauser

£130.11 19 Apr 2026
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Categories, Allegories
95% match

Categories, Allegories

North Holland

£49.99 23 Feb 2026
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
95% match

A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)

Springer

£106.06 10 Apr 2026
Mathematical Logic In The 20th Century
95% match

Mathematical Logic In The 20th Century

World Scientific Publishing Company

£102.97 07 Jan 2026
Springer - Cut Elimination in Categories: 6 (Trends in Logic)
95% match

Springer - Cut Elimination in Categories: 6 (Trends in Logic)

Springer

£120.96 20 Feb 2026