David Makinson on Classical Methods for Non-Classical Problems
Record details
- ISBN: 9789400777590
-
Physical Description:
electronic
electronic resource
access
remote
XII, 433 p. 16 illus. online resource. - Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
Search for related items by subject
Subject: | Philosophy (General) Logic Computer science Logic, Symbolic and mathematical Philosophy Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Theoretical Languages |