1993 - The Deductive Foundations of Computer Programming (Paperback) ISBN-13: 9780201548860 ISBN-10: 0201548860 Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores ? 1990 - The Logical Basis for Computer Programming Deductive Systems [Addison-Wesley Series in Computer Science] (Hardcover) ISBN-13: 9780201182613 ISBN-10: 0201182610 Genres: Computers & Technology, Science & Math, Substores ? 1985 - The Logical Basis for Computer Programming [Volume 1] (Hardcover) ISBN-13: 9780201182606 ISBN-10: 0201182602 Genres: Computers & Technology, Science & Math, Engineering & Transportation ? |