Electronic Books

Total Books: 1 - 1 /1
978-0-8176-4763-6
Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Continue reading
Total Books: 1 - 1 /1