Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.

Title | : | Mathematical Logic for Computer Science |

Author | : | Mordechai Ben-Ari |

Publisher | : | Springer Science & Business Media - 2001 |

Continue