Գրեք սա: Mathematical logic and computability/