The logical basis for computer programmingZohar Manna, Richard Waldinger, Johar Manna · First published 1985Open the Tome