Telefona gönder: Introduction to Mathematical Logic