homewors for Mathlogic course