Preface Language, Logic and Symbols Compound Propositions Propositional Forms Natural Deduction Conditional Connective Predicate Logic First Order Theories An Introduction to Logic Programming Appendix A Solutions to Exercises Appendix B Summary of Notation Appendix C Glossary Appendix D Summary of Deduction Rules Appendix E Summary of Equivalences Bibliography Index.
'Neville Dean is a thoughtful author who has managed to write an engaging text which is neither intimidating nor over-cautious in its approach...The book is very well-written and full of useful and enlightening examples and exercises. I like it a lot and would not hesitate to recommend it...' - Martin Hensen, Head of Department of Computer Science, University of Essex
NEVILLE DEAN is a Senior Lecturer in Mathematics at Anglia Polytechnic University.
'Neville Dean is a thoughtful author who has managed to write an engaging text which is neither intimidating nor over-cautious in its approach...The book is very well-written and full of useful and enlightening examples and exercises. I like it a lot and would not hesitate to recommend it...' - Martin Hensen, Head of Department of Computer Science, University of Essex
Ask a Question About this Product More... |