Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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
Repayment Terms: R259 pm x 12*
You Save: R176 (6%)
Add to cart
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 Introduction to Abstract Mathematics (Hardcover): Andrew D. Hwang
Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R2,424 Discovery Miles 24 240
Deformation Theory of Discontinuous Groups (Hardcover): Ali Baklouti
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,764 Discovery Miles 57 640
The Classification of the Finite Simple Groups, Number 9 - Part V, Chapters 1-8: Theorem $C_5$ and Theorem $C_6$, Stage 1...
The Classification of the Finite Simple…
Inna Capdeboscq, Daniel Gorenstein, … Paperback R2,661 Discovery Miles 26 610
One-cocycles And Knot Invariants (Hardcover): Thomas Fiedler
One-cocycles And Knot Invariants
Thomas Fiedler Hardcover R3,326 Discovery Miles 33 260
Algebras, Lattices, Varieties - Volume III (Paperback): Ralph S Freese, Ralph N. McKenzie, George F. McNulty, Walter F. Taylor
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,238 Discovery Miles 32 380
Infinity Operads And Monoidal Categories With Group Equivariance (Hardcover): Donald Yau
Infinity Operads And Monoidal Categories…
Donald Yau Hardcover R4,094 Discovery Miles 40 940
Geometric Sculptures - an Exploration of Building Blocks Construction Techniques. (Hardcover): Rocky Lau
Geometric Sculptures - an Exploration of…
Rocky Lau Hardcover R1,846 Discovery Miles 18 460
Associative Algebraic Geometry (Hardcover): Arvid Siqveland
Associative Algebraic Geometry
Arvid Siqveland Hardcover R3,822 Discovery Miles 38 220
Algebras, Lattices, Varieties - Volume II (Paperback): Ralph S Freese, Ralph N. McKenzie, George F. McNulty, Walter F. Taylor
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,244 Discovery Miles 32 440
Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces (Hardcover): Gennadiy Vladimirovich Zhizhin
Normal Partitions and Hierarchical…
Gennadiy Vladimirovich Zhizhin Hardcover R5,832 Discovery Miles 58 320
Representation Theory and Geometry of the Flag Variety (Hardcover): William M. McGovern
Representation Theory and Geometry of…
William M. McGovern Hardcover R3,986 Discovery Miles 39 860
Groups and Topological Dynamics (Paperback): Volodymyr Nekrashevych
Groups and Topological Dynamics
Volodymyr Nekrashevych Paperback R2,264 Discovery Miles 22 640

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners