An introduction to formal logic, including both semantic and syntactic approaches to truth-functional logic and first-order predicate logic, with some meaningful applications. This book is written in a clear, accessible, style. Contains exercises.
An introduction to formal logic, including both semantic and syntactic approaches to truth-functional logic and first-order predicate logic, with some meaningful applications. This book is written in a clear, accessible, style. Contains exercises.