Home›Books›Mathematical logic and theoretical computer scienceMathematical logic and theoretical computer scienceby Smith, Carl H.Popularity 2No description available.Electronic data processingSymbolic and mathematical LogicAlgebraLogic, symbolic and mathematicalComputer science