Product Description: Here is an excellent introduction to classical logic, emphasizing the computational aspects. It addresses the question of whether or not one logical statement follows from another by examining algorithms that test this question in practice...read more (view table of contents, read Amazon.com's description)

Product Description: This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area...read more

Product Description: This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer science logic (the first four are recorded in LNCS volumes 329, 385, 440, and 533)...read more