Logical Construction of Systems