Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science) - Hardcover

Hoare, C. A. R.

 
9780135614655: Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)