David Makinson on Classical Methods for Non-Classical Problems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hansson, Sven Ove (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
• Σειρά: Outstanding Contributions to Logic, 3
• Θέματα: Philosophy.; Logic.; Mathematical logic.; Linguistics.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Theoretical Linguistics.

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...