
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.
- Redaktör
- Sven Ove Hansson
- ISBN
- 9789400777583
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 10.1.2014
- Förlag
- Springer
- Sidor
- 433