Normal view MARC view ISBD view

Introduction to mathematics of satisfiability

Material type: materialTypeLabel

BookSeries: Chapman & Hall/CRC studies in informatics series.Publisher: Boca Raton: CRC Press, 2009Description: xiii, 350 p.; ill: 25 cm.ISBN: 9781439801673 .Subject(s): Logic, Symbolic and mathematical | Propositional calculusDDC classification: 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 MAR (Browse shelf)	Available		024702

Previous								Next
Previous	511.3 MAR Introduction to languages and the theory of computation	511.3 MAR Introduction to languages and the theory of computation	511.3 MAR Introduction to languages and the theory of computation	511.3 MAR Introduction to mathematics of satisfiability	511.3 MAR Guide to classical and modern model theory	511.3 MAR Model theory: an introduction	511.3 MAT Introduction to analysis	Next

There are no comments for this item.

Koha online