Computational Logic and Set Theory Applying Formalized Logic to Analysis
Record details
- ISBN: 9780857298089
- Physical Description: 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. |