Computer Science Logic - by Zoltán Ésik (Paperback)

Compared at 2 stores·New ·Updated 28 days ago

Lowest $105.99Highest $123.31

Go to the $105.99 offer

Compare buying options

Two live offers. The cheapest is new.

Sold byDetailsSpecial savingsItem price

TargetNew · updated 28 days ago

Free shipping

No Cash Back

$105.99

Visit site

eBayNew

—

1.5% Cash Back

$123.31

Visit site

Product Description

Book Synopsis This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.