Author: Southeast Asian Conference on Logic (1981 Singapore)