Research Catalog

Propositional logic: deduction and algorithms / Hans Kleine Büning ; Theodor Lettman.

Title: Propositional logic: deduction and algorithms / Hans Kleine Büning ; Theodor Lettman.
Author: Kleine Büning, H. (Hans)
Publication: Cambridge, U.K. ; New York : Cambridge University Press, 1999.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/Text	Request in advance	QA76.9.L63 P76 1999	Off-site

Details

Additional Authors

Lettmann, T. (Theodor)

Description

x, 409 p. : ill.; 24 cm.

Series Statement

Cambridge tracts in theoretical computer science ; 48

Uniform Title

Cambridge tracts in theoretical computer science ; 48.

Subject

Note

"First published in German by B.G. Teubner in 1994"--T.p. verso.

Bibliography (note)

Includes bibliographical references (p. 385-402) and indexes.

Processing Action (note)

committed to retain

Contents

1. Introduction to Propositional Logic -- 2. Data Structures and Normal Forms -- 3. Satisfiability -- 4. Resolution -- 5. Horn Logic -- 6. Calculi -- 7. Quantified Formulas.

ISBN

0521630177 (hardcover)

LCCN

^^^98038806^

OCLC

39655053
SCSB-11537826

Owning Institutions

Harvard Library