A science of operationsde Mark PriestleyMateriasMicrocomputersComputer programmingHistorySymbolic and mathematical LogicProgramming languages (Electronic computers)Programming languages (electronic computers)Logic, symbolic and mathematicalLogic programmingHistory of ComputingComputer science