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 gro...
Other Authors: | Hansson, Sven Ove, 1951-, SpringerLink (Online Service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer,
[2014]
|
Physical Description: |
1 online resource. |
Series: |
Outstanding contributions to logic ;
3. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |