Liknande böcker

Theory of Recursive Functions and Effective Computability
Bok av Hartley Rogers
Descriptive Complexity
Bok av Neil Immerman
Mathematical logic for computer science
Bok av Mordechai Ben-Ari
"Boolean Models and Methods in Mathematics, Computer Science, and Engine...
Bok av Yves Crama. Peter L. Hammer.
How to prove it : a structured approach
Bok av Daniel J. Velleman
A Short Introduction to Intuitionistic Logic
Bok av Grigori Mints
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen

Introduction to mathematics of satisfiability

Bok av V. W. Marek