Presented by J Strother Moore, Department of Computer Sciences, University of Texas at Austin. Abstract: Computer hardware and software can be modelled precisely in mathematical logic. If expressed appropriately, these... Read more »