David Makinson on Classical Methods for Non-Classical Problems

by Sven Ove Hansson

Book Overview

The volume analyses and develops David Makinson's efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson's work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted...

• Format: Paperback
• Language: English
• ISBN: 9402406638
• ISBN13: 9789402406634
• Release Date: September 2016
• Publisher: Springer
• Length: 433 Pages
• Weight: 1.37 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"