Origins of a Creole
Bart Jacobs
₹5,333
Categorical Logic and Type Theory
Volume 141
by Bart Jacobs
Elsevier Science Ltd · 2001
₹8,367
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Categorical Logic and Type Theory: Volume 141 by Bart Jacobs is a 778-page book published by Elsevier Science Ltd in 2001.
The book deals with Categories (mathematics).
Subjects
Book details
- ISBN-13
- 9780444508539
- ISBN-10
- 0444508538
- Author
- Bart Jacobs
- Publisher
- Elsevier Science Ltd
- Published
- 2001
- Edition
- Reprint
- Pages
- 778
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Bart Jacobs and related titles
Introduction to Coalgebra
Bart Jacobs
₹5,331
Formal Methods for Open Object-Based Distributed Systems V
Bart Jacobs
₹7,774
Interactive Fortran 77
Ian D. Chivers, Malcolm W. Clark
₹3,823
Dialogues
Stanislaw Lem
₹2,370
Optical Interconnects for Future Data Center Networks
Christoforos Kachris
₹7,737
Machine Learning Meets Quantum Physics
Kristof T. Schütt, Stefan Chmiela, O. Anatole von Lilienfeld, Alexandre Tkatchenko, Koji Tsuda, Klaus-Robert Müller
₹6,427
Beginning Azure Functions
Rahul Sawhney
₹3,939
Optoelectronic Devices
Joachim Piprek
₹26,640
Mental Health Computing
Marvin J. Miller
₹3,913
Speech Quality of Voip
Alexander Raake
₹4,293
Safety, Security, and Reliability of Robotic Systems
Brij B. Gupta, Nadia Nedjah
₹8,485