Education mathematical logic