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

 
9780135614655: Mathematical Logic and Programming Languages (Prentice Hall International Series in Computing Science)