Home > Authors > Ricardo Caferra > Automated deduction in classical and non-classical logics

Automated deduction in classical and non-classical logics

Ricardo Caferra

Recent activity

Rate this book to see your activity here.

1 Book Similar to Automated deduction in classical and non-classical logics by Ricardo Caferra

Bookscovery readers who liked Automated deduction in classical and non-classical logics also like Logic for computer science and artificial intelligence. How many of these have you read?

Logic for computer science and artificial intelligence by Ricardo Caferra

Cover of Logic for computer science and artificial intelligence

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Automated deduction in classical and non-classical logics

Please sign in to leave a comment