Home
We Will Show Them by S Artemov, Paperback | Indigo Chapters
![We Will Show Them by S Artemov, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781904987123.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
We Will Show Them by S Artemov, Paperback | Indigo Chapters
From S Artemov
Current price: $46.70
Loading Inventory...
Size: 1.61 x 9.21 x 2.463
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the lattest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic 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. | We Will Show Them by S Artemov, Paperback | Indigo Chapters