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.

De Leidraad Neurologie, uitgevoerd in handig zakformaat, geeft een handleiding voor neurologisch onderzoek. Het neurologisch onderzoek omvat het klinisch onderzoek naar de functie van het zenuwstelsel en is vooral bedoeld om functiestoornissen aan het licht te brengen. Door de subtiele organisatie van het zenuwstelsel is het vaak mogelijk om niet alleen de dysfunctie vast te stellen, maar ook de onderliggende functiestoornis te lokaliseren. Dit laatste vormt dan het uitgangspunt voor aanvullend hulponderzoek, waarbij de neuroloog meer en meer terugvalt op neuro-imaging, een diagnostische...

Policy makers in Pittsburgh, Birmingham and Rotterdam are confronted with rapidly changing social and economic environments. Public and private sector organizations in the three cities are increasingly addressing regional issues strategically and joining together in partnerships to promote competitiveness and economic growth. Local communities are linking to regional economies as companies restructure and strategy-makers recognise the benefits of urban regeneration as an important condition for economic prosperity. The book covers the complexities of modern governance under such...