0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Geometry > Algebraic geometry

Buy Now

Categorical Logic and Type Theory, Volume 141 (Paperback) Loot Price: R2,764
Discovery Miles 27 640
You Save: R176 (6%)
Categorical Logic and Type Theory, Volume 141 (Paperback): B. Jacobs

Categorical Logic and Type Theory, Volume 141 (Paperback)

B. Jacobs

Series: Studies in Logic and the Foundations of Mathematics

 (sign in to rate)
List price R2,940 Loot Price R2,764 Discovery Miles 27 640 | Repayment Terms: R259 pm x 12* You Save R176 (6%)

Bookmark and Share

Expected to ship within 12 - 19 working days

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.

General

Imprint: Elsevier Science Ltd
Country of origin: United Kingdom
Series: Studies in Logic and the Foundations of Mathematics
Release date: May 2001
First published: May 2001
Authors: B. Jacobs
Dimensions: 234 x 156 x 46mm (L x W x T)
Format: Paperback
Pages: 778
ISBN-13: 978-0-444-50853-9
Categories: Books > Science & Mathematics > Science: general issues > Philosophy of science
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Geometry > Algebraic geometry
Books > Academic & Education > Professional & Technical > Mathematics
Promotions
LSN: 0-444-50853-8
Barcode: 9780444508539

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R2,424 Discovery Miles 24 240
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,764 Discovery Miles 57 640
The Classification of the Finite Simple…
Inna Capdeboscq, Daniel Gorenstein, … Paperback R2,661 Discovery Miles 26 610
One-cocycles And Knot Invariants
Thomas Fiedler Hardcover R3,326 Discovery Miles 33 260
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,238 Discovery Miles 32 380
Infinity Operads And Monoidal Categories…
Donald Yau Hardcover R4,094 Discovery Miles 40 940
Geometric Sculptures - an Exploration of…
Rocky Lau Hardcover R1,846 Discovery Miles 18 460
Associative Algebraic Geometry
Arvid Siqveland Hardcover R3,822 Discovery Miles 38 220
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,244 Discovery Miles 32 440
Normal Partitions and Hierarchical…
Gennadiy Vladimirovich Zhizhin Hardcover R5,832 Discovery Miles 58 320
Representation Theory and Geometry of…
William M. McGovern Hardcover R3,986 Discovery Miles 39 860
Groups and Topological Dynamics
Volodymyr Nekrashevych Paperback R2,264 Discovery Miles 22 640

See more

Partners