Գրեք սա: Classical mathematical logic