Types Of Definition In Logic