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)

Synopsis

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

"synopsis" may belong to another edition of this title.