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.
€192.61
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9780080528700 ● प्रकाशक Elsevier Science ● प्रकाशित 1999 ● डाउनलोड करने योग्य 6 बार ● मुद्रा EUR ● आईडी 2261060 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
49,653 इस श्रेणी में ईबुक
