Mathematical logic for computer science

Third edition.
  • 1 Want to read
Mathematical logic for computer science
M. Ben-Ari, M. Ben-Ari
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 1 Want to read

Buy this book

Last edited by ImportBot
December 20, 2023 | History

Mathematical logic for computer science

Third edition.
  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
346

Buy this book

Previews available in: English

Edition Availability
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2012, Springer
in English - Third edition.
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2003, Springer
in English - 2nd ed.
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2001, Springer
in English - 2nd ed.
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
1993, Prentice Hall
in English

Add another edition?

Book Details


Table of Contents

Introduction
Propositional logic: formulas, models, tableaux
Propositional logic: deductive systems
Propositional logic: resolution
Propositional logic: binary decision diagrams
Propositional logic: SAT solvers
First-order logic: formulas, models, tableaux
First-order logic: deductive systems
First-order logic: terms and normal forms
First-order logic: resolution
First-order logic: logic programming
First-order logic: undecidability and model theory
Temporal logic: formulas, models, tableaux
Temporal logic: a deductive system
Verification of sequential programs
Verification of concurrent programs.

Edition Notes

Includes bibliographical references and index.

Published in
London, New York
Copyright Date
2012

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9 .B3955 2012, QA267-268.5

The Physical Object

Pagination
xv, 346 pages
Number of pages
346

ID Numbers

Open Library
OL31105561M
ISBN 10
1447141288
ISBN 13
9781447141280
LCCN
2012941863
OCLC/WorldCat
793689283

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 20, 2023 Edited by ImportBot import existing book
February 26, 2022 Edited by ImportBot import existing book
November 13, 2020 Created by MARC Bot Imported from Library of Congress MARC record