Computational Logic and Set Theory
Subtitle: Applying Formalized Logic to Analysis
Publisher: Springer
Published: Jul 28, 2011
Format: paperback
Number of pages: 436
ISBN-13: 9780857298096
Notes: Source title: Computational Logic and Set Theory: Applying Formalized Logic to Analysis