Logic of Programming (Prentice-hall International Series in Computer Science) - Hardcover

Hehner, Eric C. R.

 
9780135399668: Logic of Programming (Prentice-hall International Series in Computer Science)