8474mathematical logicPT0000-00-00 00:00:00BT10657symbolic logicPTBT8458foundations of mathematicsPTNT8448algorithmsPTNT10660artificial intelligencePTNT8450Boolean algebraPTNT10659Venn diagramsPT