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,603
Discovery Miles 26 030
Repayment Terms: R244 pm x 12*
You Save: R161 (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,764 Loot Price R2,603 Discovery Miles 26 030 | Repayment Terms: R244 pm x 12* You Save R161 (6%)

Bookmark and Share

Expected to ship within 10 - 15 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,283 Discovery Miles 22 830
Deformation Theory of Discontinuous Groups (Hardcover): Ali Baklouti
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,423 Discovery Miles 54 230
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,507 Discovery Miles 25 070
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,049 Discovery Miles 30 490
Geometric Sculptures - an Exploration of Building Blocks Construction Techniques. (Hardcover): Rocky Lau
Geometric Sculptures - an Exploration of…
Rocky Lau Hardcover R1,724 Discovery Miles 17 240
Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces (Hardcover): Gennadiy Vladimirovich Zhizhin
Normal Partitions and Hierarchical…
Gennadiy Vladimirovich Zhizhin Hardcover R5,378 Discovery Miles 53 780
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 R2,949 Discovery Miles 29 490
Groups and Topological Dynamics (Paperback): Volodymyr Nekrashevych
Groups and Topological Dynamics
Volodymyr Nekrashevych Paperback R2,496 Discovery Miles 24 960
Graded Algebras in Algebraic Geometry (Hardcover): Aron Simis, Zaqueu Ramos
Graded Algebras in Algebraic Geometry
Aron Simis, Zaqueu Ramos Hardcover R4,176 Discovery Miles 41 760
Advances in Representation Theory of Algebras (Paperback): Ibrahim Assem, Christof Geiss, Sonia Trepode
Advances in Representation Theory of…
Ibrahim Assem, Christof Geiss, … Paperback R3,470 Discovery Miles 34 700
Integrability, Self-duality, and Twistor Theory (Hardcover): L. J. Mason, N.M.J. Woodhouse
Integrability, Self-duality, and Twistor…
L. J. Mason, N.M.J. Woodhouse Hardcover R5,301 Discovery Miles 53 010
A Course on Basic Model Theory (Hardcover, 1st ed. 2017): Haimanti Sarbadhikari, Shashi Mohan Srivastava
A Course on Basic Model Theory
Haimanti Sarbadhikari, Shashi Mohan Srivastava Hardcover R2,111 Discovery Miles 21 110

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