ADVANCED LOGIC RESEARCH