A comprehensive index of philosophy book reviews

Reviews matching “The logical basis for computer programming. Volume I. Deductive reasoning”

1 result

BookAuthorReviewerJournalDate
The logical basis for computer programming. Volume I. Deductive reasoning Zohar Manna and Richard Waldinger Hans Kleine Büning The Journal of Symbolic Logic 1995

Open this search with filters