Tekstiviesti: Mathematical logic in Asia