Logic

A Concise Introduction To Logic

Sunday, November 15, 2009
A Concise Introduction To Logic

This text covers all of the standard topics for any introductory logic course. The material is integrated in such a way that elements fit together as in a puzzle so students can assemble a broad picture of the subject. Visual aids and colour are used to reinforce key points and concepts. Additionally, key terms... »

Handbook of Practical Logic and Automated Reasoning

Thursday, November 5, 2009
Handbook of Practical Logic and Automated Reasoning

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of... »

 

March 2010
M T W T F S S
« Jan    
1234567
891011121314
15161718192021
22232425262728
293031  

BookPasta Cloud

Archives

Who says so?