An edition of Mathematical logic for computer science (1993)

Mathematical logic for computer science

Third edition.

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Mathematical logic for computer science
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
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 20, 2023 | History
Edit
An edition of Mathematical logic for computer science (1993)

Mathematical logic for computer science

Third edition.

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer
Language
English
Pages
346

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Computer science, Logic, symbolic and mathematical

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2012, Springer
in English - Third edition.
  • Not in Library
Libraries near you: WorldCat
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2003, Springer
in English - 2nd ed.
Libraries near you: WorldCat
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
2001, Springer
in English - 2nd ed.
Libraries near you: WorldCat
Cover of: Mathematical logic for computer science
Mathematical logic for computer science
1993, Prentice Hall
in English
Libraries near you: WorldCat

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

Source records

Library of Congress MARC record
Better World Books record
ISBNdb

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