David Makinson on Classical Methods for Non-Classical Problems

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hansson, Sven Ove. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Outstanding Contributions to Logic, 3
Subjects:
Online Access:https://doi.org/10.1007/978-94-007-7759-0
Tags: Add Tag
No Tags, Be the first to tag this record!