SMS: Mathematical logic in Asia