Reviews matching “Truth, deduction, and computation. Logic and semantics for computer science”

1 result

BookAuthorReviewerJournalDate
Truth, deduction, and computation. Logic and semantics for computer science R. E. Davis Nicolas D. Goodman The Journal of Symbolic Logic 1992

Open this search with filters