E-book
Computational Logic and Set Theory Applying Formalized Logic to Analysis
Record details
- ISBN: 9780857298089
-
Physical Description:
electronic
electronic resource
access
remote
XVII, 416p. 2 illus. digital. - Publisher: London : Springer London, 2011.
Search for related items by subject
| Subject: | Computer science Computer Science Computer Science, general Computation by Abstract Devices Mathematical Logic and Formal Languages |
