Price loading...

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 103 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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
Brand
Elsevier
Model
black & white illustrations
Format
paperback
ASIN
0444508538
Category
Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain
Amazon UK
Release Date
05 October 2001
Listed Since
05 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)
92% match

Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)

Elsevier

£89.00 07 Jan 2026
Type-Logical Semantics
91% match

Type-Logical Semantics

MIT Press

£47.58 17 Feb 2026
Category Theory: No. 49 (Oxford Logic Guides)
91% match

Category Theory: No. 49 (Oxford Logic Guides)

£85.00 09 Jan 2026
Categories for Types (Cambridge Mathematical Textbooks)
90% match

Categories for Types (Cambridge Mathematical Textbooks)

Cambridge University Press

£58.23 15 Jan 2026
Categories
90% match

Categories

Springer

£41.98 15 Feb 2026
Category Theory (Oxford Logic Guides): 52
90% match

Category Theory (Oxford Logic Guides): 52

Oxford University Press

£59.80 12 Jan 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
90% 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
Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)
90% match

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Oxford University Press

£168.26 12 Jan 2026
Category Theory: 52 (Oxford Logic Guides)
90% match

Category Theory: 52 (Oxford Logic Guides)

Oxford University Press

£142.33 09 Dec 2025
Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)
90% match

Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)

Scientific Publishing

£47.23 21 Feb 2026
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
90% match

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Elsevier

£43.29 03 Mar 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)
90% 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
Introduction to Logic and Logical Discourse
90% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Introduction to Logic and Logical Discourse
90% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
Type Theory and Formal Proof: An Introduction
90% match

Type Theory and Formal Proof: An Introduction

Cambridge University Press

£65.49 17 Mar 2026
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
89% match

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

£115.00 12 Jan 2026
Categories, Allegories
89% match

Categories, Allegories

North Holland

£49.99 23 Feb 2026
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
89% match

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

£76.68 15 Dec 2025
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
89% match

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

£90.85 13 Jan 2026
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory: 1
89% match

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory: 1

World Scientific Publishing Company

£50.00 08 Jan 2026
Category Theory And Applications: A Textbook For Beginners (second Edition)
89% match

Category Theory And Applications: A Textbook For Beginners (second Edition)

£45.08 14 Jan 2026
Categories for the Working Philosopher
89% match

Categories for the Working Philosopher

Oxford University Press

£119.98 14 Jan 2026
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
89% match

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

Elsevier

£96.93 22 Feb 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
89% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 2026