Ricardo Caferra

Automated deduction in classical and non-classical logics

Logic for computer science and artificial intelligence