Categorical Logic and Type Theory
af B. (Computing Science Institute Jacobs
Bog, Paperback, Engelsk, 2001
Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO784,95 kr.Gratis fragtUkendtKøb for 784,95 kr.Køb
- Bogreolen1.359,95 kr.0,00 kr.2-4 ugerKøb for 1.359,95 kr.Køb
- Tales1.360,95 kr.34,95 kr.2-4 ugerKøb for 1.360,95 kr.Køb
- Pling BØGER1.360,95 kr.34,95 kr.2-4 ugerKøb for 1.360,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9780444508539
- Udgivet10/05/2001
- Udgivet afElsevier Science & Technology
- Længde778 sider
- ForfatterB. (Computing Science Institute Jacobs
- GenreBusiness og læring, Videnskab