Mathematical logic and theoretical computer sciencede Smith, Carl H.MateriasElectronic data processingSymbolic and mathematical LogicAlgebraLogic, symbolic and mathematicalComputer scienceEdiciones (1)Mathematical logic and theoretical computer science (1987)M. Dekker · inglésMás obras de Smith, Carl H.