Form logic to computing - McArthur Robert P (California Wadsworth Pub, 1991)
Keywords: Computer science; Mathematical logic