World Scientific Logic and Language Models for Computer Science