Telefona gönder: New Methods in symbolic logic/