4577326
9781904987253
Out of Stock
The item you're looking for is currently unavailable.
This book provides an invaluable overview of the reach of logic. It provides reference to some of hte most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the area of modal logic, intuitionistic logic, logic and language, nonmonotonic logic, and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, theorem proving and goal directed reasoning. It will be invaluable reading for researchers and graduate students in logic and computer science and a fabulous source of inspiration for research students in search of a topic for a PhD in logic or theoretical computer science.Artemov, S. is the author of 'We Will Show Them! Essays in Honour of Dov Gabbay ' with ISBN 9781904987253 and ISBN 1904987257.
[read more]