
Logic for Computer Scientists (Modern Birkhäuser Classics)
by Schöning, Uwe- List Price: $64.99
- ISBN-10: 0817647627
- ISBN-13: 9780817647629
- Edition: 3rd
- Type: Paperback
- Publisher: Birkhäuser
About The Book
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and... Read more
Related Books

- Year: 2009
- Edition: 3rd
- Publisher: Morgan Kaufmann
- Type: Paperback
- ISBN13: 9780123745149
- ISBN: 0123745144

- Year: 2009
- Edition: 3rd
- Publisher: MIT Press
- Type: Hardcover
- ISBN13: 9780262033848
- ISBN: 0262033844

- Year: -0001
- Edition: 6th
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780321545886
- ISBN: 0321545885