Logical Problems For Programming