num_pages: 361
language: English
title: Logic of Programming
titlecomplete: Logic of Programming (Prentice-hall International Series in Computer Science)
publisher: Prentice Hall