B. Jacobs – författare
Visar alla böcker från författaren B. Jacobs. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 141 - Studies in Logic and the Foundations of Mathematics
Categorical Logic and Type Theory
Häftad, Engelska, 2001
1 208 kr
Skickas inom 7-10 vardagar
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.
Strategy and Partnership in Cities and Regions
Economic Development and Urban Regeneration in Pittsburgh, Birmingham and Rotterdam
Häftad, Engelska, 2000
539 kr
Skickas inom 10-15 vardagar
Policy makers in Pittsburgh, Birmingham and Rotterdam are confronted with rapidly changing social and economic environments.