V. W. Marek

Introduction to mathematics of satisfiability

We couldn't estimate the reading time for this book.

Author

V. W. Marek

Publication

2009 - Taylor & Francis, Boca Raton, Florida

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

Internet Archiveintroductiontoma00mare_639
Internet Archiveintroductiontoma00mare
ISBN-139781439801673
ISBN-101439801673
LibraryThing9123177

and 5 more

Goodreads7326592
Library of Congress Control Number2009016171
OCLC Control Number456232567
Better World Books9781439801673
Open LibraryOL23213124M

Classifications

DDC511.3
LCCQA9.3 .M37 2009
LCCQA9.3.M37 2009

and 1 more

LCCQA9.3 .M37 2009eb

Subjects

Topics

Logic Calculus Infinity MATHEMATICS Calcul propositionnel Propositional calculus Symbolic and mathematical Logic

Series Statement

Chapman & Hall/CRC studies in informatics series

Similar Books

Introduction to mathematical logic

Elliott Mendelson.

Tractatus logico-philosophicus cover

Tractatus logico-philosophicus

Ludwig Wittgenstein ; translated by C.K. Ogden ; with an introduction by Bertrand Russell.

Meaning and Necessity: A Study in Semantics and Modal Logic (Midway Reprint) cover

Meaning and Necessity: A Study in Semantics and Modal Logic (Midway Reprint)

Rudolf Carnap

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!