Predicate Logic in a Year !

Thought-provoking and accessible in approach, this updated and expanded second edition of the Predicate Logic in a Year ! provides a user-friendly introduction to the subject, Taking a clear structural framework, it guides the reader through the subject's core elements. A flowing writing style combines with the use of illustrations and diagrams throughout the text to ensure the reader understands even the most complex of concepts. This succinct and enlightening overview is a required reading for...