The natural disasters are the killer agents which can/can't be predicted even though we have modern technology. Every year, in one place or another, disasters striking which is devastating the area an
Soil is the most important natural non-renewable resource developed over a longer period of time due to weathering of rocks and subsequently enrichment of organic matter. Soil provides habitat for num
This book is open access under a CC BY-NC 2.5 license.The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultu
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theo