ecological destruction in human-dominated landscapes has significant impacts on environment sustainability internationally. landscape planning can play a role in mitigating the effects of human-related activities. one element of landscape planning involves the analysis of the biological, spatial and social arrangement of areas in an urban environment and identifying characteristics that are und...

Population-environment studies have implicitly permeated demography but only until the mid-20 century has the debate been rekindled and research expanded. This article reviews the origins and history of the population-environment debate and attempts to provide insight into the most recent approaches and methodology. Beginning with the most traditional relationships established between demograph...

Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita.