8448algorithmsPT0000-00-00 00:00:00BT8476discrete mathematicsPTBT8474mathematical logicPTRT8447algebraPT