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

Not currently available

Categorical Logic and Type Theory, Volume 141 (Paperback) Loot Price: R2,509
Discovery Miles 25 090
Repayment Terms: R235 pm x 12*
You Save: R255 (9%)
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,509 Discovery Miles 25 090 | Repayment Terms: R235 pm x 12* You Save R255 (9%)

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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..

Sasakian Geometry (Hardcover): Charles Boyer, the late Krzysztof Galicki
Sasakian Geometry
Charles Boyer, the late Krzysztof Galicki Hardcover R3,198 Discovery Miles 31 980
Riemann Surfaces (Hardcover): Simon Donaldson
Riemann Surfaces
Simon Donaldson Hardcover R2,321 Discovery Miles 23 210
Sets, Groups, and Mappings - An Introduction to Abstract Mathematics (Hardcover): Andrew D. Hwang
Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R1,665 Discovery Miles 16 650
Deformation Theory of Discontinuous Groups (Hardcover): Ali Baklouti
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R4,817 Discovery Miles 48 170
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,352 Discovery Miles 23 520
Geometric Sculptures - an Exploration of Building Blocks Construction Techniques. (Hardcover): Rocky Lau
Geometric Sculptures - an Exploration of…
Rocky Lau Hardcover R1,734 Discovery Miles 17 340
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 R2,981 Discovery Miles 29 810
Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces (Hardcover): Gennadiy Vladimirovich Zhizhin
Normal Partitions and Hierarchical…
Gennadiy Vladimirovich Zhizhin Hardcover R5,466 Discovery Miles 54 660
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,987 Discovery Miles 29 870
Graded Algebras in Algebraic Geometry (Hardcover): Aron Simis, Zaqueu Ramos
Graded Algebras in Algebraic Geometry
Aron Simis, Zaqueu Ramos Hardcover R3,890 Discovery Miles 38 900
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 R2,978 Discovery Miles 29 780
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 R1,935 R1,673 Discovery Miles 16 730

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